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

bunched implication algebradiscriminatorrelation algebraresiduated latticesubstructural logicweakening relation

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logical aspects of lattices and related structures (03G10) Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) 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 semantics and proof theory of the logic of bunched implications
• THE STRUCTURE OF RESIDUATED LATTICES
• Theory of Multigroups
• Varieties of relation algebras

Cited in

(21)

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

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)