Lattice-ordered pregroups are semi-distributive
From MaRDI portal
Publication:1996094
DOI10.1007/s00012-020-00703-4zbMath1498.06034OpenAlexW3121379128MaRDI QIDQ1996094
Adam Přenosil, Peter Jipsen, Nikolaos Galatos, Michael K. Kinyon
Publication date: 3 March 2021
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00012-020-00703-4
Cites Work
- Residuated lattices. An algebraic glimpse at substructural logics
- Periodic lattice-ordered pregroups are distributive
- Generalized MV-algebras
- Some lattice models of bilinear logic
- Type logics and pregroups
- Type grammars as pregroups
- 3-3 lattice inclusions imply congruence modularity
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Lattice-ordered pregroups are semi-distributive