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

bunched implication algebrasrelation algebrasresiduated lattices

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

• 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
• 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?)
• 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 semantics and proof theory of the logic of bunched implications
• The structure of generalized BI-algebras and weakening relation algebras
• THE STRUCTURE OF RESIDUATED LATTICES
• Varieties of relation algebras

Cited in

(9)

• Representable and diagonally representable weakening relation algebras
• Implication algebras and implication semigroups of binary relations
• Lambek-Grishin calculus: focusing, display and full polarization
• Representing Sugihara monoids via weakening relations
• Representable distributive quasi relation algebras
• Frames and spaces for distributive quasi relation algebras and distributive involutive FL-algebras
• Representability for distributive quasi relation algebras via nested sums
• Weak converse and complement for quantale-enriched profunctors
• Contractions of quasi relation algebras and applications to representability

Describes a project that uses

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)