Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Joan Gispert i Brasó"'
Publikováno v:
Journal of Algebra. 219:214-233
Up to categorical equivalence, abelian lattice-ordered groups with strong unit coincide with Chang's MV-algebras—the Lindenbaum algebras of the infinite-valued Łukasiewicz calculus. While the property of being a strong unit is not definable even i