Periodic lattice-ordered pregroups are distributive

DOI10.1007/S00012-012-0199-7MaRDI QIDQ1762476zbMATH OpenOpenAlexFDO

Authors Nikolaos Galatos, Peter Jipsen

Publication date 27 November 2012

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00012-012-0199-7

zbMATH Keywords

distributive lattice reductlattice-ordered pregroupresiduated maps

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)

Recommendations

• Lattice-ordered pregroups are semi-distributive
• scientific article; zbMATH DE number 3884231
• scientific article; zbMATH DE number 4008466
• scientific article; zbMATH DE number 2125646
• Some aspects of pregroups

Cites work

• scientific article; zbMATH DE number 1341534 (Why is no real title available?)
• scientific article; zbMATH DE number 1953885 (Why is no real title available?)
• scientific article; zbMATH DE number 1786547 (Why is no real title available?)
• On Birkhoff's common abstraction problem
• Residuated lattices. An algebraic glimpse at substructural logics
• Sequent systems for compact bilinear logic
• Type logics and pregroups

Cited in

(8)

• Lattice-ordered pregroups are semi-distributive
• General algebra and its applications 2013: problem session.
• A pre-period of a finite distributive lattice
• Distributive \(\ell\)-pregroups: generation and decidability
• Axiomatizing small varieties of periodic -pregroups
• Representable distributive quasi relation algebras
• Generation and decidability for periodic -pregroups
• The structure of generalized BI-algebras and weakening relation algebras

This page was built for publication: Periodic lattice-ordered pregroups are distributive

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