Relation algebras as expanded FL-algebras

DOI10.1007/s00012-012-0215-yzbMath1322.03047OpenAlexW2118720376MaRDI QIDQ1936489

Peter Jipsen, Nikolaos Galatos

Publication date: 5 February 2013

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

Full work available at URL: https://doi.org/10.1007/s00012-012-0215-y

zbMATH Keywords

relation algebrasresiduated latticesDe Morgan operationFL-algebras

Mathematics Subject Classification ID

Lattices of varieties (08B15) Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (4)

Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras ⋮ Weakening Relation Algebras and FL$$^2$$-algebras ⋮ Extensions of Lambek Calculi ⋮ Symmetric Heyting relation algebras with applications to hypergraphs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Sequential calculus
• A Gentzen system for involutive residuated lattices
• Residuated lattices. An algebraic glimpse at substructural logics
• Relation algebras as residuated Boolean algebras
• Cyclic Involutive Distributive Full Lambek Calculus is Decidable
• THE STRUCTURE OF RESIDUATED LATTICES
• Quantales and (noncommutative) linear logic
• Some Varieties Containing Relation Algebras
• Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus
• Nonrepresentable sequential algebras
• A CHARACTERIZATION OF de MORGAN ALGEBRAS
• Residuated frames with applications to decidability

This page was built for publication: Relation algebras as expanded FL-algebras