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