Sciweavers

9 search results - page 1 / 2
» igpl 2011
Sort
View
IGPL
2011
12 years 11 months ago
On representable ordered residuated semigroups
We show that the equational theory of representable lattice-ordered residuated semigroups is not finitely axiomatizable. We apply this result to the problem of completeness of su...
Szabolcs Mikulás
IGPL
2011
12 years 11 months ago
Existentially equivalent cyclic ultrametric spaces and cyclically valued groups
The notions of ultrametric distances and cyclic valuations appear when the set of values of the distance map is a cyclically ordered set. These structures can be described as subsp...
Gérard Leloup
IGPL
2011
12 years 11 months ago
Completion and amalgamation of bounded distributive quasi lattices
In this note we present a completion for the variety of bounded distributive quasi lattices, and, inspired by a well-known idea of L.L. Maksimova [14], we apply this result in prov...
Majid Alizadeh, Antonio Ledda, Hector Freytes