Periodic lattice-ordered pregroups are distributive

DOI10.1007/s00012-012-0199-7zbMath1259.06018OpenAlexW2128443073MaRDI QIDQ1762476

Peter Jipsen, Nikolaos Galatos

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

residuated mapsdistributive lattice reductlattice-ordered pregroup

Mathematics Subject Classification ID

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 (3)

General algebra and its applications 2013: problem session. ⋮ Lattice-ordered pregroups are semi-distributive ⋮ The structure of generalized BI-algebras and weakening relation algebras

Cites Work

• Residuated lattices. An algebraic glimpse at substructural logics
• On Birkhoff's common abstraction problem
• Type logics and pregroups
• Sequent systems for compact bilinear logic
• Unnamed Item
• Unnamed Item
• Unnamed Item

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