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