Representable and diagonally representable weakening relation algebras

DOI10.1007/978-3-031-28083-2_9arXiv2301.02213OpenAlexW4323527392MaRDI QIDQ6174419

Jaš Šemrl, Peter Jipsen

Publication date: 17 August 2023

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

Full work available at URL: https://arxiv.org/abs/2301.02213

zbMATH Keywords

Sugihara monoidsrepresentation gamesrelevance framesweakening relation algebra

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Relation lifting, a survey
• Relation algebras by games
• The structure of generalized BI-algebras and weakening relation algebras
• A sequent calculus for relation algebras
• Relation algebras
• Distributive residuated frames and generalized bunched implication algebras
• Relation algebras of intervals
• Symmetric Heyting relation algebras with applications to hypergraphs
• On representable relation algebras
• Relations on Hypergraphs
• RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
• Some Varieties Containing Relation Algebras
• Stable Compactification I
• Tarskian Classical Relevant Logic
• Weakening Relation Algebras and FL$$^2$$-algebras
• Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras
• RELEVANCE LOGICS AND RELATION ALGEBRAS
• Advanced Topics in Relation Algebras
• Introduction to Relation Algebras

This page was built for publication: Representable and diagonally representable weakening relation algebras