Bilattices with implications
A bilattice is an algebra \(\mathbf{B} = \langle B, \land,\lor,\otimes,\oplus, \neg \rangle\) such that the reducts \(\langle B,\land, \lor \rangle\) and \(\langle B,\otimes,\oplus, \rangle\) are both lattices and the negation \(\neg\) is a unary operation anti-monotone relative to both orders and such that for every \(a \in B\) we have \(a = \neg \neg a\). A Brouwerian bilattice is a bilattice endowed with an implication \(\supset\) satisfying the following conditions: (B1) \((x \supset x)\supset y \approx y\) (B2) \(x \supset (y \supset z) \approx (x \land y) \supset z \approx (x \otimes y) \supset z\) (B3) \((x \lor y) \supset z \approx (x \supset z) \land (y \supset z) \approx (x \oplus y) \supset z\) (B4) \(x \land ((x \supset y) \supset (x \otimes y)) \approx x\) (B5) \(\neg (x \supset y) \supset z \approx (x \land \neg y) \supset z\). It is proved that a variety of Brouwerian bilattices forms an exact algebraic semantics of the logic \(\mathcal{B}\), introduced in Section 1 of the paper by a Hilbert-style calculus. Theorem 2.12 describes all reduced logical matrices that are models of the logic \(\mathcal{B}\) in the following way: A matrix \(\langle \mathbf{A}, D \rangle\) is a reduced model of \(\mathcal{B}\) (or of \(\mathcal{B}\) plus Pierce's law) if and only if \(\mathbf{A}\) is a Brouwerian (or a classical implicative) bilattice and \(D = \{ a \in A: a = a \supset a\}\).
- A duality theory for bilattices
- A note on the structure of bilattices
- 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
- 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
- Generalized Boolean algebras in lattice-ordered groups
- scientific article; zbMATH DE number 3648682 (Why is no real title available?)
- scientific article; zbMATH DE number 19702 (Why is no real title available?)
- scientific article; zbMATH DE number 3614740 (Why is no real title available?)
- scientific article; zbMATH DE number 945663 (Why is no real title available?)
- Implicative twist-structures
- On the representation of \(\mathbf{N4}\)-lattices
- Protoalgebraic logics
- Reasoning with logical bilattices
- Superproducts, hyperidentities, and algebraic structures of logic programming
- The logic of distributive bilattices
- The structure of interlaced bilattices
- The value of the four values
- Theory of logical calculi. Basic theory of consequence operations
- Varieties of interlaced bilattices
- Some lattice models of bilinear logic
- Bilattice logic properly displayed
- Implicative twist-structures
- The logic of distributive bilattices
- Bilattice logics and demi-negation
- scientific article; zbMATH DE number 5510996 (Why is no real title available?)
- scientific article; zbMATH DE number 58945 (Why is no real title available?)
- Regular bilattices
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- Four consequence relations, three orders, two matrices, one bilattice
- scientific article; zbMATH DE number 7669409 (Why is no real title available?)
- Varieties of interlaced bilattices
- Nelson algebras, residuated lattices and rough sets: A survey
This page was built for publication: Bilattices with implications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q368472)
