Abstract
We construct a formula true in all models of the product fuzzy predicate logic over the standard product algebra on the unit real interval but unprovable in the product fuzzy logic (and hence having truth value less than 1 in some model over a non-standard linearly ordered product algebra). Gödel’s construction of a true unprovable formula of arithmetic is heavily used.
Partial support of ITI (the project No. LN00A056 (ITI) of Ministry of Education (MŠMT) of the Czech Republic) is recognized.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Hájek, P.: Metamathematics of fuzzy logic. Kluwer, Dordrecht (1998)
Hájek, P.: Fuzzy logic and arithmetical hierarchy III. Studia logica 68, 135–142 (2001)
Hájek, P., Pudlák, P.: Metamathematics of first-order arithmetic. Springer, Heidelberg (1993)
Montagna, F.: Three complexity problems in quantified fuzzy logic. Studia logica 68, 143–152 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Hájek, P. (2004). A True Unprovable Formula of Fuzzy Predicate Logic. In: Lenski, W. (eds) Logic versus Approximation. Lecture Notes in Computer Science, vol 3075. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25967-1_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-25967-1_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22562-1
Online ISBN: 978-3-540-25967-1
eBook Packages: Springer Book Archive