×

zbMATH — the first resource for mathematics

MV-algebras are categorically equivalent to bounded commutative BCK- algebras. (English) Zbl 0633.03066
The result is announced by the title. Moreover the free bounded commutative BCK-algebra over denumerably many free generators is described as an algebra of piecewise linear functions over the Hilbert cube.
Reviewer: M.Pałasiński

MSC:
03G25 Other algebras related to logic
06D99 Distributive lattices
PDF BibTeX XML Cite