Representable and diagonally representable weakening relation algebras

DOI10.1007/978-3-031-28083-2_9MaRDI QIDQ6174419zbMATH OpenOpenAlexFDO

Authors Peter Jipsen, Jaš Šemrl

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

relevance framesrepresentation gamesSugihara monoidsweakening relation algebra

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Abstract: A binary relation defined on a poset is a weakening relation if the partial order acts as a both-sided compositional identity. This is motivated by the weakening rule in sequent calculi and closely related to models of relevance logic. For a fixed poset the collection of weakening relations is a subreduct of the full relation algebra on the underlying set of the poset. We present a two-player game for the class of representable weakening relation algebras akin to that for the class of representable relation algebras. This enables us to define classes of abstract weakening relation algebras that approximate the quasivariety of representable weakening relation algebras. We give explicit finite axiomatisations for some of these classes. We define the class of diagonally representable weakening relation algebras and prove that it is a discriminator variety. We also provide explicit representations for several small weakening relation algebras.

Cites work

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

Cited in

(9)

• Weakening Relation Algebras and FL^2-algebras
• Representing Sugihara monoids via weakening relations
• Lawvere's Frobenius reciprocity, the modular connections of Grandis and Dilworth's abstract principal ideals
• 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
• Pregroup representable expansions of residuated lattices

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

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