Relation algebras as residuated Boolean algebras

DOI10.1007/BF01195378zbMath0792.06012OpenAlexW2065137642WikidataQ29396197 ScholiaQ29396197MaRDI QIDQ1312168

Constantine Tsinakis, Bjarni Jónsson

Publication date: 8 August 1994

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

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

zbMATH Keywords

residualsconjugatesnonassociative relation algebraresiduated Boolean algebra

Mathematics Subject Classification ID

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

Related Items

Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras, Adjoining units to residuated Boolean algebras, Relativizations of relation algebras by the diversity, Weakening Relation Algebras and FL$$^2$$-algebras, On closures verifying that the interior of a closed element is closed, Relation algebras as expanded FL-algebras, Duality for normal lattice expansions and sorted residuated frames with relations, Implication algebras and implication semigroups of binary relations, Choice-free topological duality for implicative lattices and Heyting algebras, An algebraic glimpse at bunched implications and separation logic, Tribute to Bjarni Jónsson, Distributed Relation Logic, Lambek calculus with conjugates, Modal translation of substructural logics, On the Complexity of the Equational Theory of Residuated Boolean Algebras, The structure of generalized BI-algebras and weakening relation algebras, Extensions of Lambek Calculi, Lambek calculus and its relational semantics: Completeness and incompleteness

Cites Work

• The Concept of Join System and Its Basic Properties
• Some Varieties Containing Relation Algebras
• Unnamed Item
• Unnamed Item