1,720,963 research outputs found
Representations of Monadic MV-algebras
No full textRepresentations of monadic MV-algebra, the characterization of locally finite monadic MV-algebras, with axiomatization of them, definability of non-trivial monadic operators on finitely generated free MV-algebras are given. Moreover it is shown that a finitely generated m-relatively complete subalgebra of a finitely generated free MV-algebra is projective
On the lattice of the subvarieties of monadic MV(C)-algebras
No full textThe description of the lattice L of subvarieties of the variety MMV(C)
generated by monadic MV -algebras, the MV -reduct of which are the algebras
from the variety of MV -algebras generated by perfect MV -algebras, is given
PROJECTIVITY AND UNIFICATION IN LOCALLY FINITE VARIETIES OF MONADIC MV -ALGEBRAS
No full textA duality between the category of finite monadic MV-algebras and a category of labelled finite Boolean spaces is given. A characterization of projectivity in some locally finite varieties of monadic MV-algebras is provided. Finally, we show that the unification type of these varieties is unitary
On monadic MV-algebras
No full textAbstractWe define and study monadic MV-algebras as pairs of MV-algebras one of which is a special case of relatively complete subalgebra named m-relatively complete. An m-relatively complete subalgebra determines a unique monadic operator. A necessary and sufficient condition is given for a subalgebra to be m-relatively complete. A description of the free cyclic monadic MV-algebra is also given
Projective MV-algebras
No full textA characterization of finitely generated projective MV-algebras is given, introducing the new notions of correct partitions and e-relatively complete subalgebras
Finitely generated free MV-algebras and their automorphism groups
No full textThe MV-algebra Smω is obtained from the (m+1)-valued Łukasiewicz chain by adding infinitesimals, in the same way as Chang's algebra is obtained from the two-valued chain. These algebras were introduced by Komori in his study of varieties of MV-algebras. In this paper we describe the finitely generated totally ordered algebras in the variety MVmω generated by Smω. This yields an easy description of the free Mmω-algebras over one generator. We characterize the automorphism groups of the free MV-algebras over finitely many generators
- …
