Publication:4273435

zbMATH Open0794.06012MaRDI QIDQ4273435FDOQ4273435

Peter Jipsen

Publication date: 13 January 1994

Title of this publication is not available (Why is that?)

zbMATH Keywords

discriminator algebrasequational basesBoolean algebras with a residuated binary operatorcommutative residuated monoidsresiduated Boolean monoidsvarieties of \(r\)-algebras

Mathematics Subject Classification ID

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)