Algebraic semantics for paraconsistent Nelson's logic

Journal of Logic and Computation

Volumn 13, Issue 4, 2003, Pages 453-468

  Odintsov, Sergei P ^a  

^a SOBOLEV INSTITUTE OF MATHEMATICS   (Russian Federation)

Author keywords

Algebraic semantics; Constructive negation; Nelson's logic; Paraconsistent logic

Indexed keywords

BOOLEAN ALGEBRA; COMPUTATIONAL METHODS; MATHEMATICAL MODELS; THEOREM PROVING;

CONSTRUCTIVE NEGATION;

SEMANTICS;

EID: 0041363310     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/13.4.453     Document Type: Article

References (24)

1. A. Almukdad and D. Nelson. Constructible falsity and inexact predicates. Journal of Symbolic Logic, 49, 231- 233, 1984.
2. J. P. Cleave. The notion of logical consequence in the logic of inexact predicates. Zeitschrift für Mathematische Logic und Grundlagen der Mathematik, 20, 307-324, 1974.
3. J. M. Dunn. Partiality and its dual. Studio Logica, 66, 5-40, 1980.
4. M. M. Fidel. An algebraic study of a prepositional system of Nelson. Mathematical Logic, Proceedings of the First Brasilian Conference, Campinas 1977, pp. 99-117, volume 39 of Lecture Notes of Pure and Applied Mathematics, 1978.
5. M. M. Fidel. An algebraic study of logic with constructive negation. Proceedings of the Third Brazilian Conference on Mathematical Logic, Recife 1979, 119-129, 1980.
6. F. Fitch. Symbolic Logic. New York, 1952.
7. V. Goranko. The Craig interpolation theorem for prepositional logics with strong negation. Studio Logica, 44, 291-317, 1985.
8. S. Körner. Experience and Theory. Kegan Paul, London, 1966.
9. M. Kracht. On extensions of intermediate logics by strong negation. Journal of Philosophical Logic, 27, 49-73, 1998.
10. F. von Kutschera. Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle. Archiv für Mathematische Logik und Grundlagenforschung, 12, 104-118, 1969.
11. D. Nelson. Constructible falsity. Journal of Symbolic Logic, 14, 16-26, 1949.
12. A.P. Pynko. Functional completeness and axiomatizability within Belnap's four-valued logic and its expansions. Journal of Applied Non-classical Logics, 9, 61-105, 1999.
13. H. Rasiowa. N-lattices and constructive logic with strong negation. Fundamenta Mathematicae, 46, 61-80, 1958.
14. H. Rasiowa. Algebraische Charakterisierung der intuitionistischen Logik mit starker Negation. In Constructivity in Mathematics, A. Heyting, ed., pp. 234-240. North-Holland, Amsterdam, 1959.
15. H. Rasiowa. An Algebraic Approach to Non-classical Logics. North-Holland, Amsterdam, 1974.
16. W. Rautenberg. Klassische und nichtklassische Aussagenlogik. Vieweg Verlag, Braunschweig/Wiesbaden, 1979.
17. R. Routley. Semantical analyses of propositional systems of Fitch and Nelson. Studia Logica, 33, 283-298, 1974.
18. A. Sendlewski. Some investigations of varieties of N-lattices. Studia Logica, 43, 257-280, 1984.
19. A. Sendlewski. Nelson algebras through Heyting ones. Studia Logica, 49, 106-126, 1990.
20. A. Sendlewski. Axiomatic extensions of the constructive logic with strong negation and disjunction property. Studia Logica, 55, 377-388, 1995.
21. R. Thomason. A semantical study of constructive falsity. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 15, 247-257, 1969.
22. D. Vakarelov. Notes on N-lattices and constructive logic with strong negation. Studia Logica, 36, 109-125, 1977.
23. H. Wansing. Semantics-based nonmonotonic inference. Notre Dame Journal of Formal Logic, 36, 44-54, 1995.
24. H. Wansing. Negation. In The Blackwell Guide to Philosophical Logic, L.Goble, ed., pp. 415-436. Basil Blackwell Publishers, Cambridge/MA, 2001.