Finiteness and Duality in MV-algebras Theory
Antonio Di Nola, Revaz Grigolia · 2001
Some results about finiteness properties of MV -algebras and some dualities between categories of MV -algebras and categories of certain ordered structures are presented. Actually, finite MV -algebras are presented as algebras of words. Moreover, it is presented a duality between the category of MV -algebras which are finitely generated, having finite spectrum, and the category of finite linear dual Heyting algebras. These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.