Počet záznamů: 1  

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

  1. 1.
    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Šk 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

     
     
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.