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

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

zbMATH Keywords

bilatticetwist-structurebitopologyNelson paraconsistent logic

Mathematics Subject Classification ID

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

Cited In (10)

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

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)