Weakening Relation Algebras and FL^2-algebras

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

Authors: Nikolaos Galatos, Peter Jipsen 

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

Recommendations

• The structure of generalized BI-algebras and weakening relation algebras
• Relation algebras as expanded FL-algebras
• Representable and diagonally representable weakening relation algebras
• Weak representations of relation algebras and relational bases
• Weakly associative relation algebras with projections
• Weakly representable but not representable relation algebras
• Weakly representable relation algebras form a variety
• scientific article; zbMATH DE number 1342153
• Weak varieties of partial algebras
• scientific article; zbMATH DE number 2058097

zbMATH Keywords

residuated latticesrelation algebrasbunched implication algebras

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

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

Cited In (3)

• Representable and diagonally representable weakening relation algebras
• Lambek-Grishin calculus: focusing, display and full polarization
• Implication algebras and implication semigroups of binary relations

Uses Software

• Prover9
• Mace4

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5098717)