AN ALGEBRAIC STUDY OF A PROPOSITIONAL SYSTEM OF NELSON
Manuel M. Fidel Fidel · 2011
In this paper we introduce a new method for a semantical study of Nelson’s logic of constructible falsity (D. Nelson, Constructible falsity, The Journal of Symbolic Logic 14 (1949), pp. 247{257) through algebraic models formed by couples (a1;a2) where a1 and a2 are elements of a Heyting algebra. The method introduced here show the advantage of using models based on n-tuples of elements of other known algebras to the study of certain logical systems or other algebras. For instance, our method can be generalized to the study of Fitch’s system (cf. F. B. Fitch, Symbolic Logic, Ronald Press, New York, 1952).