A True Unprovable Formula of Fuzzy Predicate Logic

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F04%3A00103380" target="_blank" >RIV/67985807:_____/04:00103380 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
A True Unprovable Formula of Fuzzy Predicate Logic
Original language description
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.
Czech name
Pravdivá nedokazatelná formule fuzzy predikátové logiky
Czech description
Konstruuje se formula pravdivá ve všech modelech produktové fuzzy predikátové logiky nad standardní produktovou algebrou na jednotkovém reálném intervalu ale nedokazatelná v produktové fuzzy logice (a tedy mající hodnotu menší než 1 v nějakém nestardantním modelu). Gödelova konstrukce pravdivé nedokazatelné formule aritmetiky je podstatně využita.

Project
<a href="/en/project/LN00A056" target="_blank" >LN00A056: Institute of Theoretical Computer Science (Center of Young Science)</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2004
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Book/collection name
Logic versus Approximation. Essays Dedicated to Michael M. Richter on the Occasion of his 65th Birthday
ISBN
3-540-22562-5
Number of pages of the result
5
Pages from-to
1-5
Number of pages of the book
—
Publisher name
Springer
Place of publication
Berlin
UT code for WoS chapter
—

Similar results(10)