Priestley duality for paraconsistent Nelson's logic

DOI10.1007/s11225-010-9274-2zbMath1207.03036OpenAlexW2055054170MaRDI QIDQ708928

Sergei P. Odintsov

Publication date: 15 October 2010

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

Full work available at URL: https://doi.org/10.1007/s11225-010-9274-2

zbMATH Keywords

Priestley dualityPriestley spaceparaconsistent logictwist-structureNelson algebraNelson logic\({{\mathbf {N4}^\perp}}\)-latticeNelson space

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Lattices and duality (06D50) Paraconsistent logics (03B53)

Related Items

Representation of De Morgan and (semi-)Kleene lattices ⋮ A duality for two-sorted lattices ⋮ Diagrammatic duality ⋮ Priestley duality for bilattices ⋮ Compatibly involutive residuated lattices and the Nelson identity

Cites Work

• Nelson algebras through Heyting ones. I
• The class of extensions of Nelson's paraconsistent logic
• Constructive negations and paraconsistency
• Some investigations of varieties of \({\mathcal N}\)-lattices
• The class of Kleene algebras satisfying an interpolation property and Nelson algebras
• An algebraic approach to non-classical logics
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• On extensions of intermediate logics by strong negation
• On the representation of \(\mathbf{N4}\)-lattices
• Coproducts of De Morgan algebras
• Algebraic Semantics for Paraconsistent Nelson's Logic
• Representation of Distributive Lattices by means of ordered Stone Spaces
• The Theory of Representation for Boolean Algebras
• Topological representations of distributive lattices and Brouwerian logics
• Constructible falsity
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item