Paraconsistent Modal Logics

DOI10.1016/J.ENTCS.2011.10.014zbMath1347.03054OpenAlexW2153536416WikidataQ113318192 ScholiaQ113318192MaRDI QIDQ2825416

Umberto Rivieccio

Publication date: 7 October 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2011.10.014

zbMATH Keywords

twist-structureBelnap logicNelson logicparaconsistent modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Many-valued logic (03B50) Paraconsistent logics (03B53)

Related Items (6)

Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Disentangling \textsf{FDE}-based paraconsistent modal logics ⋮ BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES ⋮ Implicative twist-structures ⋮ Nelson algebras, residuated lattices and rough sets: A survey ⋮ PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics
• Varieties of interlaced bilattices
• Constructive logic with strong negation is a substructural logic. I
• An algebraic approach to non-classical logics
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• On the representation of \(\mathbf{N4}\)-lattices
• Residuated bilattices
• Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
• Minimal varieties of involutive residuated lattices
• Topological representation for implication algebras
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• N-lattices and constructive logic with strong negation
• Modal Operators over Constructive Logic
• Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic
• Constructible falsity and inexact predicates
• Algebraizable logics
• Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras
• Belnap's Four-Valued Logic and De Morgan Lattices
• Algebraic Semantics for Paraconsistent Nelson's Logic
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions

This page was built for publication: Paraconsistent Modal Logics