Distributive \(\ell\)-pregroups: generation and decidability

DOI10.1016/J.JALGEBRA.2024.02.036MaRDI QIDQ6489378

Nikolaos Galatos, Isis A. Gallardo

Publication date: 21 April 2024

Published in: Journal of Algebra (Search for Journal in Brave)

zbMATH Keywords

decidabilityequational theoryresiduated latticeslattice-ordered groupsdiagramsvariety generationlattice-ordered pregroups

Mathematics Subject Classification ID

General logic (03Bxx) Order, lattices, ordered algebraic structures (06-XX) Ordered structures (06Fxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Residuated lattices. An algebraic glimpse at substructural logics
• Pregroup grammars and Chomsky's earliest examples
• Periodic lattice-ordered pregroups are distributive
• Lattice-ordered pregroups are semi-distributive
• From distributive \(\ell\)-monoids to \(\ell\)-groups, and back again
• Ordering groups and validity in lattice-ordered groups
• Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices
• The lattice-ordered group of automorphisms of an ordered set
• The Largest Proper Variety of Lattice Ordered Groups

This page was built for publication: Distributive \(\ell\)-pregroups: generation and decidability