The structure of generalized BI-algebras and weakening relation algebras

DOI10.1007/S00012-020-00663-9MaRDI QIDQ776989zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

substructural logicdiscriminatorresiduated latticerelation algebrabunched implication algebraweakening relation

Mathematics Subject Classification ID

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)

Recommendations

• Relation algebras, idempotent semirings and generalized bunched implication algebras
• On algebras with a generalized implication
• On the structure of generalized BL-algebras
• On varieties of biresiduation algebras
• Relation algebras as expanded FL-algebras

Cites work

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

Cited in

(20)

• Representable distributive quasi relation algebras
• Unary-determined distributive -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
• Frames and spaces for distributive quasi relation algebras and distributive involutive FL-algebras
• scientific article; zbMATH DE number 7707388 (Why is no real title available?)
• Representable and diagonally representable weakening relation algebras
• Stone duality for relations
• Weakening relations over duals of limit ordinals
• Representability for distributive quasi relation algebras via nested sums
• Lambek-Grishin calculus: focusing, display and full polarization
• Twist structures and Nelson conuclei
• Classification of unilinear residuated lattices
• An algebraic glimpse at bunched implications and separation logic
• Representing Sugihara monoids via weakening relations
• Distributive lattices with a generalized implication: topological duality
• Semiconic idempotent logic. I: Structure and local deduction theorems.
• Relation algebras, idempotent semirings and generalized bunched implication algebras
• 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)