Weakening Relation Algebras and FL$$^2$$-algebras
From MaRDI portal
Publication:5098717
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
Related Items (2)
Representable and diagonally representable weakening relation algebras ⋮ Implication algebras and implication semigroups of binary relations
Uses Software
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