论文信息 - Representations of monadic MV -algebras

Representations of monadic MV -algebras

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 finitely generated m-relatively complete subalgebra of finitely generated free MV -algebra is projective.

Lawrence Peter Belluce | Ada Lettieri | Revaz Grigolia

[1] Antonio di Nola,et al. Finitely Generated Free MV-algebras and Their Automorphism Groups , 1998, Stud Logica.

[2] Antonio di Nola,et al. On monadic MV-algebras , 2004, Ann. Pure Appl. Log..

[3] Dietrich Schwartz. Theorie der polyadischen MV‐Algebren endlicher Ordnung , 1977 .

[4] Lawrence Peter Belluce. Further Results on Infinite Valued Predicate Logic , 1964, J. Symb. Log..

[5] Antonio di Nola,et al. Perfect MV-algebras are categorically equivalent to abelianl-groups , 1994, Stud Logica.

[6] Antonio di Nola,et al. Projective MV-Algebras and Their Automorphism Groups , 2003, J. Multiple Valued Log. Soft Comput..

[7] Bruno Scarpellini. Die Nichtaxiomatisierbarkeit des Unendlichwertigen Pradikatenkalkuls von Lukasiewicz , 1962, J. Symb. Log..

[8] C. Chang,et al. Algebraic analysis of many valued logics , 1958 .

[9] DANIELE MUNDICI,et al. Averaging the truth-value in Łukasiewicz logic , 1995, Stud Logica.

[10] Dietrich Schwartz,et al. Polyadic MV-Algebras , 1980, Math. Log. Q..

[11] Lawrence Peter Belluce,et al. A weak completeness theorem for infinite valued first-order logic , 1963, Journal of Symbolic Logic.

[12] D. Mundici. Interpretation of AF -algebras in ukasiewicz sentential calculus , 1986 .

[13] Krister Segerberg,et al. An essay in classical modal logic , 1971 .