Distributive \(\ell\)-pregroups: generation and decidability (Q6489378)
From MaRDI portal
scientific article; zbMATH DE number 7835179
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Distributive \(\ell\)-pregroups: generation and decidability |
scientific article; zbMATH DE number 7835179 |
Statements
Distributive \(\ell\)-pregroups: generation and decidability (English)
0 references
21 April 2024
0 references
lattice-ordered pregroups
0 references
decidability
0 references
equational theory
0 references
variety generation
0 references
residuated lattices
0 references
lattice-ordered groups
0 references
diagrams
0 references
0 references
