Priestley duality for paraconsistent Nelson's logic

DOI10.1007/S11225-010-9274-2MaRDI QIDQ708928zbMATH OpenOpenAlexFDO

Authors S. 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

paraconsistent logicPriestley dualityPriestley spacetwist-structureNelson algebraNelson logic\({{\mathbf {N4}^\perp}}\)-latticeNelson space

Mathematics Subject Classification ID

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

Recommendations

• Dualities for modal N4-lattices
• Algebraic Semantics for Paraconsistent Nelson's Logic
• The class of extensions of Nelson's paraconsistent logic
• Constructive negations and paraconsistency
• On the category of Nelson paraconsistent lattices

Cites work

• scientific article; zbMATH DE number 3887755 (Why is no real title available?)
• scientific article; zbMATH DE number 3625460 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 3893260 (Why is no real title available?)
• scientific article; zbMATH DE number 3199780 (Why is no real title available?)
• Algebraic Semantics for Paraconsistent Nelson's Logic
• An algebraic approach to non-classical logics
• Constructible falsity
• Constructive negations and paraconsistency
• Coproducts of De Morgan algebras
• Nelson algebras through Heyting ones. I
• 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
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Some investigations of varieties of \({\mathcal N}\)-lattices
• The Theory of Representation for Boolean Algebras
• The class of Kleene algebras satisfying an interpolation property and Nelson algebras
• The class of extensions of Nelson's paraconsistent logic
• Topological representations of distributive lattices and Brouwerian logics

Cited in

(14)

• On the category of Nelson paraconsistent lattices
• Priestley duality for bilattices
• scientific article; zbMATH DE number 3893260 (Why is no real title available?)
• Nelson algebras, residuated lattices and rough sets: A survey
• The class of extensions of Nelson's paraconsistent logic
• scientific article; zbMATH DE number 1775483 (Why is no real title available?)
• Representation of De Morgan and (semi-)Kleene lattices
• A duality for two-sorted lattices
• On the representation of \(\mathbf{N4}\)-lattices
• Diagrammatic duality
• Compatibly involutive residuated lattices and the Nelson identity
• Dualities for modal N4-lattices
• Residuated lattices as an algebraic semantics for paraconsistent Nelson's logic
• Proof theory of Nelson's paraconsistent logic: a uniform perspective

This page was built for publication: Priestley duality for paraconsistent Nelson's logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q708928)