Abstract
The article is devoted to the systematic study of the lattice εN4⊥ consisting of logics extending N4⊥. The logic N4⊥ is obtained from paraconsistent Nelson logic N4 by adding the new constant ⊥ and axioms ⊥ → p, p → ∼ ⊥. We study interrelations between εN4⊥ and the lattice of superintuitionistic logics. Distinguish in εN4⊥ basic subclasses of explosive logics, normal logics, logics of general form and study how they are relate.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
AVRON, A., ‘On an implicative connective of RM 18 ’, Notre Dame Journal of Formal Logic 27:201–209, 1986.
AVRON, A., ‘Natural 3-valued logics: characterization and proof theory’, Journal of Symbolic Logic 56:276–294, 1991.
BELNAP, N.D., ‘A useful four-valued logic’, in: G. Epstein and M.J. Dunn (eds.). Modern Uses of Multiple-Valued Logic, pp. 7–37, Oriel Press, 1977.
BELNAP, N.D., ‘How computer should think’, in: G.Ryle, (ed.), Contemporary Aspects of Philosophy, pp. 30–56, Oriel Press, 1977.
BURRIS, S. and H.P. SANKAPPANAVAR, A course in universal algebra, New York, Springer, 1981.
FIDEL M.M., ‘An algebraic study of logic with constructive negation’, in: Proc. of the Third Brazilian Conf. on Math. Logic, Recife 1979, pp. 119–129, 1980.
GORANKO, V., ‘The Craig interpolation theorem for propositional logics with strong negation’, Studia Logica 44:291–317, 1985.
JASPARS J.O.M., Calculi for Constructive Communication, Catholic University of Brabant, 1994.
KRACHT, M., ‘On extensions of intermediate logics by strong negation’, Journal of Philosophical Logic 27:49–73, 1998.
ODINTSOV, S.P., ‘Algebraic semantics for paraconsistent Nelson's Logic’, Journal of Logic and Computation 13:453–468, 2003.
ODINTSOV, S.P., ‘On representation of N4-lattices’, Studia Logica 76:385–405, 2004.
ODINTSOV, S.P., ‘On the class of extensions of Johansson's logic’, Journal of Applied Logic, 3:43–65, 2005.
RASIOWA, A., ‘N-lattices and constructive logic with strong negation’, Fundamenta Mathematicae 46:61–80, 1958.
RASIOWA, H., An algebraic approach to non-classical logics, Noth-Holland, 1974.
RAUTENBERG, W. Klassische und nichtklassische Aussagenlogik, Vieweg Verlag, 1979.
SENDLEWSKI, A., ‘Some investigations of varieties of N-lattices’, Studia Logica 43:257–280, 1984.
SENDLEWSKI, A., ‘Axiomatic extensions of the constructive logic with strong negation and disjunction property’, Studia logica 55:377–388, 1995.
VAKARELOV, D., ‘Notes on N-lattices and constructive logic with strong negation’, Studia logica 36:109–125, 1977.
VAKARELOV, D., ‘Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety’, Studia logica 48:565–575, 1989.
H. WANSING. The Logic of Information Structures, Springer Lecture Notes in AI 681, Springer-Verlag, Berlin, 1993.
Author information
Authors and Affiliations
Corresponding author
Additional information
The author acknowledges support by the Alexander von Humboldt-Stiftung and by Counsil for Grants under RF President, project NSh - 2112.2003.1.
Rights and permissions
About this article
Cite this article
Odintsov, S.P. The Class of Extensions of Nelson's Paraconsistent Logic. Stud Logica 80, 291–320 (2005). https://doi.org/10.1007/s11225-005-8472-9
Issue Date:
DOI: https://doi.org/10.1007/s11225-005-8472-9