Representations 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.
Representations of Monadic MV-algebras / Belluce, L. P.; Grigolia, R; Lettieri, Ada. - In: STUDIA LOGICA. - ISSN 0039-3215. - STAMPA. - 81:(2005), pp. 123-144.
Representations of Monadic MV-algebras
LETTIERI, ADA
2005
Abstract
Representations 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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.