The structure of generalized BI-algebras and weakening relation algebras
DOI10.1007/S00012-020-00663-9zbMATH Open1481.03069OpenAlexW3036607119MaRDI QIDQ776989FDOQ776989
Authors: Nikolaos Galatos, Peter Jipsen 
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
Recommendations
substructural logicdiscriminatorresiduated latticerelation algebrabunched implication algebraweakening relation
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) Logical aspects of lattices and related structures (03G10) Lattices of varieties (08B15)
Cites Work
- The semantics and proof theory of the logic of bunched implications
- Boolean Algebras with Operators
- Residuated frames with applications to decidability
- Residuated lattices. An algebraic glimpse at substructural logics
- THE STRUCTURE OF RESIDUATED LATTICES
- Varieties of relation algebras
- Ideals in universal algebras
- Periodic lattice-ordered pregroups are distributive
- 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
- Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices
- Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras
- Theory of Multigroups
Cited In (13)
- Unary-determined distributive \(\ell \)-magmas and bunched implication algebras
- 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
- Title not available (Why is that?)
- Representable and diagonally representable weakening relation algebras
- Stone duality for relations
- Lambek-Grishin calculus: focusing, display and full polarization
- Twist structures and Nelson conuclei
- An algebraic glimpse at bunched implications and separation logic
- Distributive lattices with a generalized implication: topological duality
- Semiconic idempotent logic. I: Structure and local deduction theorems.
- Implication algebras and implication semigroups of binary relations
This page was built for publication: The structure of generalized BI-algebras and weakening relation algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q776989)
