scientific article; zbMATH DE number 475198

zbMath0794.06012MaRDI QIDQ4273435

Peter Jipsen

Publication date: 13 January 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

equational basesdiscriminator algebrasBoolean 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) Operations and polynomials in algebraic structures, primal algebras (08A40) Cylindric and polyadic algebras; relation algebras (03G15) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Varieties (08B99) Subdirect products and subdirect irreducibility (08B26)

Related Items

Atomless varieties, Total tense algebras and symmetric semiassociative relation algebras, Expansions of dually pseudocomplemented Heyting algebras, Introducing Boolean Semilattices, Weakening Relation Algebras and FL$$^2$$-algebras, Canonical varieties with no canonical axiomatisation, Varieties of semiassociative relation algebras and tense algebras, Varieties generated by completions, COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS, A strict implication calculus for compact Hausdorff spaces, Notions of density that imply representability in algebraic logic, Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras