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)

Full work available at URL https://doi.org/10.1016/J.JALGEBRA.2024.02.036

zbMATH Keywords

decidabilitydiagramsequational theorylattice-ordered groupslattice-ordered pregroupsresiduated latticesvariety generation

Mathematics Subject Classification ID

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

Cites work

• Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices
• From distributive -monoids to -groups, and back again
• 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?)
• 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

Cited in

(3)

• Axiomatizing small varieties of periodic -pregroups
• Generation and decidability for periodic -pregroups
• Weakening relations over duals of limit ordinals

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)