2 papers
math.LO2024
Generation and decidability for periodic l-pregroups
Nikolaos Galatos, Isis A. Gallardo
In [11] it is shown that the variety of distributive l-pregroups is generated by a single algebra, the functional algebra over the integers. Here, we…
math.LO2023
Decidability of distributive l-pregroups
Nikolaos Galatos, Isis A. Gallardo
We show that every distributive lattice-ordered pregroup can be embedded into a functional algebra over an integral chain, thus improving the existing Cayley/Holland-style embeddin…