Distributive -pregroups: generation and decidability

DOI10.1016/J.JALGEBRA.2024.02.036MaRDI QIDQ6489378zbMATH OpenFDO

Authors Nikolaos Galatos, Isis A. Gallardo

Publication date 21 April 2024

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

zbMATH Keywords

decidabilityresiduated latticeslattice-ordered groupsdiagramsequational theoryvariety generationlattice-ordered pregroups

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 2125646 (Why is no real title available?)
• scientific article; zbMATH DE number 192848 (Why is no real title available?)
• scientific article; zbMATH DE number 3601634 (Why is no real title available?)
• scientific article; zbMATH DE number 705155 (Why is no real title available?)
• scientific article; zbMATH DE number 1953885 (Why is no real title available?)
• scientific article; zbMATH DE number 194985 (Why is no real title available?)
• scientific article; zbMATH DE number 782634 (Why is no real title available?)
• Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices
• From distributive -monoids to -groups, and back again
• Lattice-ordered pregroups are semi-distributive
• Ordering groups and validity in lattice-ordered groups
• Periodic lattice-ordered pregroups are distributive
• Pregroup grammars and Chomsky's earliest examples
• Residuated lattices. An algebraic glimpse at substructural logics
• The Largest Proper Variety of Lattice Ordered Groups
• The lattice-ordered group of automorphisms of an ordered set

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

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