Logic versus Approximation. Essays Dedicated to Michael M. Richter on the Occasion of his 65th Birthday

0103380 - UIVT-O 20040121 RIV DE eng M - Část monografie knihy
Hájek, Petr
A True Unprovable Formula of Fuzzy Predicate Logic.
[Pravdivá nedokazatelná formule fuzzy predikátové logiky.]
Logic versus Approximation. Essays Dedicated to Michael M. Richter on the Occasion of his 65th Birthday. Berlin: Springer, 2004 - (Lenski, W.), s. 1-5. Lecture Notes in Computer Science, 3075. ISBN 3-540-22562-5
Grant CEP: GA MŠMT LN00A056
Klíčová slova: fuzzy logic * product logic * incompleteness * standard semantics
Kód oboru RIV: BA - Obecná matematika

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.

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.
Trvalý link: http://hdl.handle.net/11104/0010689