Constructive logic and the sorites paradox

Abstract

We show that contractionless constructive logic CLN, which is a subsystem of Nelson's constructive logic with strong negation, can be viewed as an interesting logic for vagueness. It can formalize vague predicate in a constructive setting and overcome the so-called sorites paradox. We describe a sequent calculus for CLN and related systems. © 2008 Springer-Verlag Berlin Heidelberg.