Gödel spaces and perfect MV-algebras
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