Paraconsistent modal logics
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 3648682 (Why is no real title available?)
- scientific article; zbMATH DE number 5000988 (Why is no real title available?)
- scientific article; zbMATH DE number 35414 (Why is no real title available?)
- scientific article; zbMATH DE number 97789 (Why is no real title available?)
- scientific article; zbMATH DE number 3614740 (Why is no real title available?)
- scientific article; zbMATH DE number 2070200 (Why is no real title available?)
- Algebraic Semantics for Paraconsistent Nelson's Logic
- Algebraizable logics
- An algebraic approach to non-classical logics
- Belnap's Four-Valued Logic and De Morgan Lattices
- Constructible falsity and inexact predicates
- Constructive logic with strong negation is a substructural logic. I
- Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
- Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
- Minimal varieties of involutive residuated lattices
- Modal Operators over Constructive Logic
- Modal logics with Belnapian truth values
- N-lattices and constructive logic with strong negation
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
- On the representation of \(\mathbf{N4}\)-lattices
- Residuated bilattices
- Residuated lattices as an algebraic semantics for paraconsistent Nelson's logic
- Topological representation for implication algebras
- Varieties of interlaced bilattices
- \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics
Cited in
(29)- The algebra of ordinary discourse. On the semantics of Cooper's logic
- Paraconsistent logic
- Unwinding modal paradoxes on digraphs
- Implicative twist-structures
- scientific article; zbMATH DE number 605207 (Why is no real title available?)
- Some paraconsistent sentential calculi
- Disentangling \textsf{FDE}-based paraconsistent modal logics
- scientific article; zbMATH DE number 910430 (Why is no real title available?)
- Paraconsistent orbits of logics
- Nelson's paraconsistent logics
- Proof systems for various \textsf{FDE}-based modal logics
- Some multi-conclusion modal paralogics
- Paraconsistent modal logic
- Distance-based paraconsistent logics
- scientific article; zbMATH DE number 5001191 (Why is no real title available?)
- Modal Logics and Group Polarization
- Non-standard modalities in paraconsistent G\"{o}del logic
- A paraconsistent extension of Sylvan’s logic
- Modal twist-structures over residuated lattices
- New paraconsistent modal logics based on rough modus ponens rules and their interrelations
- Belnap-Dunn modal logics: truth constants vs. truth values
- Paraconsistent logic from a modal viewpoint
- scientific article; zbMATH DE number 1778912 (Why is no real title available?)
- Nelson algebras, residuated lattices and rough sets: A survey
- scientific article; zbMATH DE number 6131420 (Why is no real title available?)
- Paraconsistency in hybrid logic
- Modular semantics for theories: an approach to paraconsistent reasoning
- scientific article; zbMATH DE number 605210 (Why is no real title available?)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
This page was built for publication: Paraconsistent modal logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2825416)
