论文信息 - A note on the first-order logic of complete BL-chains

A note on the first-order logic of complete BL-chains

In [10] it is claimed that the set of predicate tautologies of all complete BL-chains and the set of all standard tautologies (i. e., the set of predicate formulas valid in all standard BL-algebras) coincide. As noticed in [11], this claim is wrong. In this paper we show that a complete BL-chain B satisfies all standard BL-tautologies iff for any transfinite sequence (ai: i ∈ I) of elements of B, the condition ∧i ∈ I (a2i) = (∧i ∈ Iai)2 holds in B. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)

Franco Montagna | Petr Hájek

[1] R. P. Dilworth,et al. Residuated Lattices. , 1938, Proceedings of the National Academy of Sciences of the United States of America.

[2] Petr Hájek,et al. On theories and models in fuzzy predicate logics , 2006, Journal of Symbolic Logic.

[3] P. Aglianò,et al. Varieties of BL- algebras I: General properties. , 2003 .

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

[5] Franco Montagna. Three Complexity Problems in Quantified Fuzzy Logic , 2001, Stud Logica.

[6] Franco Montagna,et al. Corrigendum to “Kripke‐style semantics for many‐valued logics” , 2004, Math. Log. Q..

[7] Franco Montagna,et al. Kripke‐style semantics for many‐valued logics , 2003, Math. Log. Q..

[8] A. M. W. Glass,et al. Partially Ordered Groups , 1999 .

[9] Petr Hájek,et al. Basic fuzzy logic and BL-algebras II , 1998, Soft Comput..

[10] Matthias Emil Ragaz. Arithmetische Klassifikation von Formelmengen der unendlichwertigen Logik , 1981 .