Non-involutive twist-structures

DOI10.1093/JIGPAL/JZY070zbMATH Open1477.03097OpenAlexW2913877614MaRDI QIDQ3386908FDOQ3386908

Authors Umberto Rivieccio, Paulo Maia, Achim Jung

Publication date 8 January 2021

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL http://pure-oai.bham.ac.uk/ws/files/56691453/Non_involutive.pdf

zbMATH Keywords

bilatticetwist-structurebitopologyNelson paraconsistent logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Other algebras related to logic (03G25)

Recommendations

• Implicative twist-structures
• Modal twist-structures over residuated lattices
• Quasi-Nelson; or, non-involutive Nelson algebras
• Algebraic Semantics for Paraconsistent Nelson's Logic
• Dualities for modal N4-lattices

Cited in

(10)

• Twist structures and Nelson conuclei
• Modal twist-structures over residuated lattices
• Bilattice logic properly displayed
• Some lattice models of bilinear logic
• A duality for two-sorted lattices
• Nonmonotonic twist maps
• Nelson conuclei and nuclei: the twist construction beyond involutivity
• Simultaneous non-vanishing of twists
• Implicative twist-structures
• Compatibly involutive residuated lattices and the Nelson identity

This page was built for publication: Non-involutive twist-structures

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