Abstract

In [1] we have characterized four types vagueness related to negation, and constructed the corresponding propositional calculi adequate to formalize each type of vagueness. The calculi obtained were named V0; V1; V2 and C1 . The relations among these calculi and the classical propositional calculus C0 can be represented in the following diagram, where the arrows indicate that a system is a proper subsystem of the other V0 V1 C0 V2 C1 6 1 PP PP PP PiP 1 PP PP PP PiP In this paper we present a two-valued semantics for each of these sys- tems. The semantics used here is the Henkin-style semantics which has proven fruitful in treating other paraconsistent logics