On the embedding of nelson's logics

Bulletin of the Section of Logic

Volumn 31, Issue 4, 2002, Pages 241-248

  Odintsov, S P ^a  

^a SOBOLEV INSTITUTE OF MATHEMATICS   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 79959361801     PISSN: 01380680     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (8)

1. A. Almukdad and D.Nelson, Constructible falsity and inexact predicates, Journal of Symbolic Logic 49 (1984), pp. 231-233.
2. M. M. Fidel, An algebraic study of a propositional system of Nelson, Mathematical Logic, Proc. of the First Brasilian Conference, Campinas 1977, Lect. Notes Pure Appl. Math. 39 (1978), pp. 99-117.
3. M. Kracht, On extensions of intermediate logics by strong negation, Journal of Philosophical Logic 27 (1998), pp. 49-73.
4. D. Nelson, Constructible falsity, Journal of Symbolic Logic 14 (1949), pp. 16-26.
5. S. P. Odintsov, Logic of classical refutability and class of extensions of minimal logic, to appear in Logic and Logical Philosophy 9.
6. S. P. Odintsov, Algebraic semantics for paraconsistent Nelson's logic. Submitted to Journal of Logic and Computation.
7. D. Vakarelov, Notes on N-lattices and constructive logic with strong negation, Studia logica 36 (1977), pp. 109-125.
8. H.Wansing, Negation, [in:] L.Goble (ed.), The Blackwell Guide to Philosophical Logic, Basil Blackwell Publishers, Cambridge/MA (2001), pp. 415-436.