Gödel spaces and perfect MV-algebras

Journal of Applied Logic - Tập 13 - Trang 270-284 - 2015
Antonio Di Nola1, Revaz Grigolia2
1University of Salerno, Via Giovanni Paolo II, 132, 84084 Fisciano (SA), Italy
2Tbilisi State University, University Str., 13, 0147 Tbilisi, Georgia

Tài liệu tham khảo

Belluce, 1986, Semisimple algebras of infinite-valued logic and bold fuzzy set theory, Can. J. Math., 38, 1356, 10.4153/CJM-1986-069-0 Belluce, 1963, A weak completeness theorem for infinite valued predicate logic, J. Symb. Log., 28, 43, 10.2307/2271335 Belluce, 2007, Perfect MV-algebras and their logic, Appl. Categ. Struct., 15, 135, 10.1007/s10485-007-9069-4 Birkhoff, 1967 Burris, 1981 Chang, 1958, Algebraic analysis of many-valued logics, Trans. Am. Math. Soc., 88, 467, 10.1090/S0002-9947-1958-0094302-9 Cignoli, 1999, Prime spectra of lattice-ordered abelian groups, J. Pure Appl. Algebra, 136, 217, 10.1016/S0022-4049(98)00031-0 Cignoli, 2000, Algebraic Foundations of Many-Valued Reasoning, vol. 7 Davey, 2002 Di Nola, 2001, Finiteness and duality in MV-algebras theory, 71 Di Nola, 2002, MV-algebras in duality with labeled root systems, Discrete Math., 243, 79, 10.1016/S0012-365X(01)00052-8 Di Nola, 2004, Profinite MV-spaces, Discrete Math., 283, 61, 10.1016/j.disc.2003.12.015 Di Nola, 2003, Projective MV-algebras and their automorphism groups, J. Mult.-Valued Log. Soft Comput., 9, 291 Di Nola, 1994, Perfect MV-algebras are categorically equivalent to Abelian ℓ-groups, Stud. Log., 88, 467 Dvurečenskij, 2009, Free products of unital ℓ-groups and free products of generalized MV-algebras, Algebra Univers., 62, 19, 10.1007/s00012-010-0035-x Esakia, 1974, Topological Kripke model, Sov. Math. Dokl., 15, 147 Holland, 1972, Free product of lattice-ordered groups, Algebra Univers., 2, 247, 10.1007/BF02945034 Horn, 1969, Logic with truth values in a linearly ordered Heyting algebra, J. Symb. Log., 34, 395, 10.2307/2270905 Malcev, 1973 Martinez, 1972, Free products in varieties of lattice-ordered groups, Czechoslov. Math. J., 22, 535, 10.21136/CMJ.1972.101125 Martinez, 1973, Free products of abelian ℓ-groups, Czechoslov. Math. J., 23, 349, 10.21136/CMJ.1973.101176 Mundici, 1986, Interpretation of AF C⁎-algebras in Lukasiewicz sentential calculus, J. Funct. Anal., 65, 15, 10.1016/0022-1236(86)90015-7 Mundici, 1988, Free product in the category of abelian ℓ-groups with strong unit, J. Algebra, 113, 89, 10.1016/0021-8693(88)90185-8 Panti, 1999, Varieties of MV-algebras, J. Appl. Non-Class. Log., 9, 141, 10.1080/11663081.1999.10510961 Powell, 1989, Free products in varieties lattice-ordered groups, 278 Priestley, 1972, Representation of distributive lattices by means of ordered Stone spaces, Bull. Lond. Math. Soc., 2, 186, 10.1112/blms/2.2.186 Scarpellini, 1962, Die Nichaxiomatisierbarkeit des unendlichwertigen Pradikatenkalkulus von Lukasiewicz, J. Symb. Log., 27, 159, 10.2307/2964111