Abstract
First-order fuzzy logic should be a formal basis of many considerations in fuzzy set theory and approximate reasoning. For example, the inference in the latter can be understood to be a sequence of inferences in a certain fuzzy theory given by a fuzzy set of special axioms. For various purposes, it may be useful to have an analogue of the famous Los' ultraproduct theorem also in fuzzy logic. We introduce elements of model theory for fuzzy logic and prove the ultraproduct theorem for it.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Biacino, L. and G. Gerla: Weak Decidability and Weak Recursive Enu- merability for L-subsets, preprint No. 45, Università Degli Studi di Napoli, Napoli 1986.
Biacino, L. and G. Gerla: Recursively Enumerable L-sets, Zeit. Math. Logic. Grundl. Math. 1988.
Chang, C. C. and H. J. Keisler: Model Theory, North-Holland, Amsterdam 1973.
Chang, C. C. and H. J. Keisler: Continuous Model Theory, Princeton University Press, Princeton 1966.
Goguen, J. A :The logic of inexact concepts, Synthese 19(1968–69), 325–373.
Novák, V.: Fuzzy Sets and Their Applications, Adam-Hilger, Bristol, 1989.
Novák, V.: On the Syntactico-Semantical Completeness of First-Order Fuzzy Logic. Part I — Syntactical Aspects; Part II — Main Results. Ky- bernetika 26(1990), 47–66; 134–154.
Novák, V.: Fuzzy logic as a basis of approximate reasoning, in L. A. Zadeh and J. Kacprzyk, Eds.: Fuzzy Logic for the Management of Uncertainty. J. Wiley and Sons, New York 1992.
Novák, V.: On the logical basis of approximate reasoning, in V. Novák, J. Ramík, M. Mares, M. Cerny and J. Nekola, Eds.: Fuzzy Approach to Reasoning and Decision Making. Kluwer, Dordrecht 1992.
Novák, V.: Fuzzy Sets, Fuzzy Logic and Natural Language. Int. J. of General Systems 20(1991), 83–97.
Novák, V. and W. Pedrycz: Fuzzy Sets and t-norms in the Light of Fuzzy Logic, Int. J. Man.-Mach. Stud. 29(1988), 113–127.
Pavelka, J.: On fuzzy logic I, II, III, Zeit. Math. Logic. Grundl. Math. 25(1979), 45–52, 119–134, 447–464.
Scarpellini, B.: Die Nichaxiomatisierbarkeit des unendlichwertigen Prädi- katenkalküls von Lukasiewicz, J. of Symbolic Logic 27(1962), 159–170.
Trachtenbrot, B. A.: Impossibility of the algorithm of the decidability problem on finite classes, Doklady Akademii Nauk SSSR 70(1950), 569–572 (in Russian).
Zadeh, L. A.: The concept of a linguistic variable and its application to approximate reasoning I, II, III, Inf. Sci.,8(1975), 199–257, 301–357;9(1975), 43–80.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Novák, V. (1995). Ultraproduct theorem and recursive properties of fuzzy logic. In: Höhle, U., Klement, E.P. (eds) Non-Classical Logics and their Applications to Fuzzy Subsets. Theory and Decision Library, vol 32. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-0215-5_13
Download citation
DOI: https://doi.org/10.1007/978-94-011-0215-5_13
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-4096-9
Online ISBN: 978-94-011-0215-5
eBook Packages: Springer Book Archive