Adjoining units to residuated Boolean algebras

DOI10.1007/BF01200494zbMath0831.06007OpenAlexW2075770182MaRDI QIDQ1902548

Peter Jipsen, J. A. Rafter, Bjarni Jónsson

Publication date: 20 February 1996

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01200494

zbMATH Keywords

relation algebrascanonical extensionadjoining unitsresiduated Boolean algebras

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Varieties (08B99)

Related Items (10)

Axiomatization of identity-free equations valid in relation algebras ⋮ Squares and rectangles in relation categories. Three cases: Semilattice, distributive lattice and Boolean non-unitary ⋮ Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ Complexity of equations valid in algebras of relations. II: Finite axiomatizations ⋮ Axiomatizability of positive algebras of binary relations ⋮ Tribute to Bjarni Jónsson ⋮ Distributive laws in residuated binars ⋮ On the Complexity of the Equational Theory of Residuated Boolean Algebras ⋮ \(MP\)-algebras with relative types ⋮ Lambek calculus and its relational semantics: Completeness and incompleteness

Cites Work

• Relation algebras as residuated Boolean algebras
• A perspective on the theory of relation algebras

This page was built for publication: Adjoining units to residuated Boolean algebras