Weakening Relation Algebras and FL$$^2$$-algebras

DOI10.1007/978-3-030-43520-2_8OpenAlexW3012953728MaRDI QIDQ5098717

Peter Jipsen, Nikolaos Galatos

Publication date: 30 August 2022

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-43520-2_8

zbMATH Keywords

relation algebrasresiduated latticesbunched implication algebras

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (2)

Representable and diagonally representable weakening relation algebras ⋮ Implication algebras and implication semigroups of binary relations

Uses Software

• Prover9
• Mace4

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Projectable \(\ell\)-groups and algebras of logic: categorical and algebraic connections.
• Cut elimination and strong separation for substructural logics: an algebraic approach
• The structure of generalized BI-algebras and weakening relation algebras
• On the variety of Gödel MV-algebras
• Varieties of relation algebras
• Resources, concurrency, and local reasoning
• Residuated lattices. An algebraic glimpse at substructural logics
• Relation algebras as residuated Boolean algebras
• Distributive residuated frames and generalized bunched implication algebras
• Relation algebras as expanded FL-algebras
• Symmetric Heyting relation algebras with applications to hypergraphs
• The semantics and proof theory of the logic of bunched implications
• Relations on Hypergraphs
• THE STRUCTURE OF RESIDUATED LATTICES
• Classical BI: Its Semantics and Proof Theory
• Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras
• Algebras Whose Congruence Lattices are Distributive.
• Boolean Algebras with Operators

This page was built for publication: Weakening Relation Algebras and FL$$^2$$-algebras