scientific article; zbMATH DE number 475198
zbMATH Open0794.06012MaRDI QIDQ4273435FDOQ4273435
Publication date: 13 January 1994
Title of this publication is not available (Why is that?)
discriminator algebrasequational basesBoolean algebras with a residuated binary operatorcommutative residuated monoidsresiduated Boolean monoidsvarieties of \(r\)-algebras
Modal logic (including the logic of norms) (03B45) Subdirect products and subdirect irreducibility (08B26) Cylindric and polyadic algebras; relation algebras (03G15) Operations and polynomials in algebraic structures, primal algebras (08A40) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Varieties (08B99)
Cited In (15)
- Skew Boolean algebras and discriminator varieties
- Varieties generated by completions
- Weakening Relation Algebras and FL$$^2$$-algebras
- Persistence and atomic generation for varieties of Boolean algebras with operators
- Total tense algebras and symmetric semiassociative relation algebras
- Title not available (Why is that?)
- Notions of density that imply representability in algebraic logic
- A strict implication calculus for compact Hausdorff spaces
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
- Atomless varieties
- Expansions of dually pseudocomplemented Heyting algebras
- Varieties of semiassociative relation algebras and tense algebras
- Introducing Boolean Semilattices
- Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras
- Canonical varieties with no canonical axiomatisation
Recommendations
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Boolean Algebras and Distributive Lattices Treated Constructively 👍 👎
- Skew Boolean algebras and discriminator varieties 👍 👎
- Residuated Kleene Algebras 👍 👎
- Relation algebras as residuated Boolean algebras 👍 👎
- Boolean algebras and \(A^*\)-algebras 👍 👎
- Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras 👍 👎
- On the Complexity of the Equational Theory of Residuated Boolean Algebras 👍 👎
- Undecidability of the Equational Theory of Some Classes of Residuated Boolean Algebras with Operators 👍 👎
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4273435)
