The class of extensions of Nelson's paraconsistent logic
From MaRDI portal
Publication:813085
DOI10.1007/S11225-005-8472-9zbMATH Open1097.03019OpenAlexW2043835012MaRDI QIDQ813085FDOQ813085
Authors: S. 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
Recommendations
Cites Work
- The logic of information structures
- Title not available (Why is that?)
- An algebraic approach to non-classical logics
- On the representation of \(\mathbf{N4}\)-lattices
- Natural 3-valued logics—characterization and proof theory
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- Algebraic Semantics for Paraconsistent Nelson's Logic
- N-lattices and constructive logic with strong negation
- Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety
- On the structure of paraconsistent extensions of Johansson's logic
- On extensions of intermediate logics by strong negation
- On an implication connective of RM
- Some investigations of varieties of \({\mathcal N}\)-lattices
- The Craig interpolation theorem for propositional logics with strong negation
- Axiomatic extensions of the constructive logic with strong negation and the disjunction property
Cited In (31)
- Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework
- On deductive bases for paraconsistent answer set semantics
- Towards a bridge over two approaches in connexive logic
- Generalized Kripke semantics for Nelson's logic
- Disentangling \textsf{FDE}-based paraconsistent modal logics
- Subprevarieties versus extensions. Application to the logic of paradox
- On split negation, strong negation, information, falsification, and verification
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
- Classical negation and expansions of Belnap-Dunn logic
- Belnap constants and Nelson logic
- Algebraic Semantics for Paraconsistent Nelson's Logic
- Neighbourhood semantics for FDE-based modal logics
- Constructive negations and paraconsistency
- Priestley duality for paraconsistent Nelson's logic
- Transfer theorems for extensions of the paraconsistent Nelson logic
- Double negation as minimal negation
- Some properties for first-order Nelsonian paraconsistent quantum logic
- Paraconsistent double negations as classical and intuitionistic negations
- On the methodology of paraconsistent logic
- The lattice of Belnapian modal logics: special extensions and counterparts
- Nelson algebras, residuated lattices and rough sets: A survey
- On extensions of Nelson's logic satisfying Dummett's axiom
- A study of algebraic structures and logics based on categories of rough sets
- On contra-classical variants of Nelson logic \textbf{N4} and its classical extension
- Proof theory of Nelson's paraconsistent logic: a uniform perspective
- On the equivalence of paraconsistent and explosive versions of Nelson logic
- 40 years of FDE: an introductory overview
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- An algebraic investigation of the connexive logic \(\mathsf{C}\)
- Angell and McCall meet Wansing
This page was built for publication: The class of extensions of Nelson's paraconsistent logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q813085)
