The class of extensions of Nelson's paraconsistent logic

DOI10.1007/s11225-005-8472-9zbMath1097.03019OpenAlexW2043835012MaRDI QIDQ813085

Sergei P. Odintsov

Publication date: 30 January 2006

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-005-8472-9

zbMATH Keywords

paraconsistent logicstrong negationlattice of logicsN4-lattice

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Related Items

ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION, Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation, On deductive bases for paraconsistent answer set semantics, Paraconsistent constructive logic with strong negation as a contraction-free relevant logic, Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework, 40 years of FDE: an introductory overview, Paraconsistent double negations as classical and intuitionistic negations, Disentangling \textsf{FDE}-based paraconsistent modal logics, Belnap Constants and Nelson Logic, An algebraic investigation of the connexive logic \(\mathsf{C}\), Angell and McCall meet Wansing, Double negation as minimal negation, The lattice of Belnapian modal logics: Special extensions and counterparts, Classical negation and expansions of Belnap-Dunn logic, On Split Negation, Strong Negation, Information, Falsification, and Verification, Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation, Generalized Kripke semantics for Nelson's logic, Priestley duality for paraconsistent Nelson's logic, On the Methodology of Paraconsistent Logic, Towards a bridge over two approaches in connexive logic, Neighbourhood semantics for FDE-based modal logics

Cites Work

• Unnamed Item
• Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety
• Some investigations of varieties of \({\mathcal N}\)-lattices
• The Craig interpolation theorem for propositional logics with strong negation
• On an implication connective of RM
• An algebraic approach to non-classical logics
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• The logic of information structures
• On extensions of intermediate logics by strong negation
• On the structure of paraconsistent extensions of Johansson's logic
• On the representation of \(\mathbf{N4}\)-lattices
• Axiomatic extensions of the constructive logic with strong negation and the disjunction property
• N-lattices and constructive logic with strong negation
• Natural 3-valued logics—characterization and proof theory
• Algebraic Semantics for Paraconsistent Nelson's Logic