Constructive Logic and the Sorites Paradox

摘要

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.