Weakening Relation Algebras and FL^2-algebras

DOI10.1007/978-3-030-43520-2_8MaRDI QIDQ5098717zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

residuated latticesrelation algebrasbunched implication algebras

Mathematics Subject Classification ID

Theory of computing (68Qxx)

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

Cites work

• scientific article; zbMATH DE number 1219632 (Why is no real title available?)
• scientific article; zbMATH DE number 475198 (Why is no real title available?)
• scientific article; zbMATH DE number 922613 (Why is no real title available?)
• Algebras Whose Congruence Lattices are Distributive.
• Boolean Algebras with Operators
• Classical BI: Its Semantics and Proof Theory
• Cut elimination and strong separation for substructural logics: an algebraic approach
• Distributive residuated frames and generalized bunched implication algebras
• On the variety of Gödel MV-algebras
• Projectable -groups and algebras of logic: categorical and algebraic connections.
• Relation algebras as expanded FL-algebras
• Relation algebras as residuated Boolean algebras
• Relation algebras, idempotent semirings and generalized bunched implication algebras
• Relations on hypergraphs
• Residuated lattices. An algebraic glimpse at substructural logics
• Resources, concurrency, and local reasoning
• Symmetric Heyting relation algebras with applications to hypergraphs
• THE STRUCTURE OF RESIDUATED LATTICES
• The semantics and proof theory of the logic of bunched implications
• The structure of generalized BI-algebras and weakening relation algebras
• Varieties of relation 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

Describes a project that uses

Uses Software

• Mace4
• Prover9

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)