Bilattices with implications
From MaRDI portal
Publication:368472
DOI10.1007/s11225-013-9494-3zbMath1291.03119OpenAlexW2117459082MaRDI QIDQ368472
Publication date: 23 September 2013
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-013-9494-3
abstract algebraic logicBrouwerian latticecategory bilatticedisjunctive latticegeneralized Boolean algebraimplicative bilatticerepresentation bilattice
Related Items (4)
Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Implicative twist-structures ⋮ Bilattice Logics and Demi-Negation ⋮ Bilattice logic properly displayed
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Varieties of interlaced bilattices
- Theory of logical calculi. Basic theory of consequence operations
- An algebraic approach to non-classical logics
- Generalized Boolean algebras in lattice-ordered groups
- The value of the four values
- On the representation of \(\mathbf{N4}\)-lattices
- A duality theory for bilattices
- Reasoning with logical bilattices
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
- Implicative twist-structures
- The logic of distributive bilattices
- 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
- The structure of interlaced bilattices
- A note on the structure of bilattices
- Constructible falsity
- Protoalgebraic logics
This page was built for publication: Bilattices with implications