Paraconsistent Modal Logics
From MaRDI portal
Publication:2825416
DOI10.1016/J.ENTCS.2011.10.014zbMath1347.03054OpenAlexW2153536416WikidataQ113318192 ScholiaQ113318192MaRDI QIDQ2825416
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
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
