The structure of generalized BI-algebras and weakening relation algebras

DOI10.1007/s00012-020-00663-9zbMath1481.03069OpenAlexW3036607119MaRDI QIDQ776989

Peter Jipsen, Nikolaos Galatos

Publication date: 13 July 2020

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://digitalcommons.chapman.edu/scs_articles/667

zbMATH Keywords

relation algebrasubstructural logicdiscriminatorresiduated latticebunched implication algebraweakening relation

Mathematics Subject Classification ID

Lattices of varieties (08B15) Logical aspects of lattices and related structures (03G10) Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items

Twist structures and Nelson conuclei, Weakening Relation Algebras and FL$$^2$$-algebras, Deciding Equations in the Time Warp Algebra, Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras, Representable and diagonally representable weakening relation algebras, Implication algebras and implication semigroups of binary relations, An algebraic glimpse at bunched implications and separation logic, Unary-determined distributive \(\ell \)-magmas and bunched implication algebras, Unnamed Item

Cites Work

• Varieties of relation algebras
• Ideals in universal algebras
• Residuated lattices. An algebraic glimpse at substructural logics
• A new foundation for the theory of relations
• Relation algebras as residuated Boolean algebras
• Distributive residuated frames and generalized bunched implication algebras
• On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras
• Periodic lattice-ordered pregroups are distributive
• Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices
• The semantics and proof theory of the logic of bunched implications
• THE STRUCTURE OF RESIDUATED LATTICES
• Residuated frames with applications to decidability
• Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras
• Theory of Multigroups
• Boolean Algebras with Operators