Priestley duality for paraconsistent Nelson's logic

DOI10.1007/S11225-010-9274-2zbMATH Open1207.03036OpenAlexW2055054170MaRDI QIDQ708928FDOQ708928

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

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

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)

Cites Work

• Title not available (Why is that?)
• 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
• The class of Kleene algebras satisfying an interpolation property and Nelson algebras
• An algebraic approach to non-classical logics
• On the representation of \(\mathbf{N4}\)-lattices
• Nelson algebras through Heyting ones. I
• Coproducts of De Morgan algebras
• Constructive negations and paraconsistency
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• Algebraic Semantics for Paraconsistent Nelson's Logic
• Title not available (Why is that?)
• On extensions of intermediate logics by strong negation
• Title not available (Why is that?)
• The class of extensions of Nelson's paraconsistent logic
• Title not available (Why is that?)
• Some investigations of varieties of \({\mathcal N}\)-lattices
• Title not available (Why is that?)

Cited In (14)

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

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)