Omitting types in fuzzy logic with evaluated syntax. (English) Zbl 1100.03012

The authors extend the omitting types theorem to many-valued logic, particularly to versions of infinite-valued Łukasiewicz logic with countably many as well as with uncountably many truth degree constants.


03B52 Fuzzy logic; logic of vagueness
03B50 Many-valued logic
03C10 Quantifier elimination, model completeness, and related topics
Full Text: DOI


[1] and , Models and Ultraproducts (North-Holland Publishing Company, 1969). · Zbl 0179.31402
[2] and , Model Theory (North-Holland Publishing Company, 1973).
[3] A Treatise on Many-Valued Logics (Research Studies Press Ltd., 2001). · Zbl 1048.03002
[4] Metamathematics of Fuzzy Logic (Kluwer, 1998).
[5] Hájek, Int. J. Gen. Syst. 32 pp 373– (2003)
[6] and , A Guide to Classical and Modern Model Theory (Kluwer, 2003). · Zbl 1023.03026
[7] and , Omitting types in fuzzy predicate logics. Submitted to Proc. of 26th Linz Seminar on Fuzzy Set Theory.
[8] Fuzzy logic revisited. In: Proc. Int. Conference EUFIT’94, pp. 496–499 (Verlag der Augustinus Buchhandlung, 1994).
[9] Novák, Math. Logic Quaterly 48 pp 563– (2002)
[10] Fuzzy logic with countable evaluated syntax. In: Fuzzy Logic, Soft Computing and Computational Intelligence II. Eleventh IFSAWorld Congress, pp. 1264–1269 (Tsinghua Univ. Press and Springer, 2005).
[11] , and , Mathematical Principles of Fuzzy Logic (Kluwer, 1999).
[12] Pavelka, Z. Math. Logik Grundl. Math. 25 pp 45– (1979) · Zbl 0435.03020
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.