Pravdivá nedokazatelná formule fuzzy predikátové logiky
Popis výsledku
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.
Klíčová slova
Identifikátory výsledku
Kód výsledku v IS VaVaI
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
A True Unprovable Formula of Fuzzy Predicate Logic
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
A True Unprovable Formula of Fuzzy Predicate Logic
Popis výsledku anglicky
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.
Klasifikace
Druh
C - Kapitola v odborné knize
CEP obor
BA - Obecná matematika
OECD FORD obor
—
Návaznosti výsledku
Projekt
LN00A056: Institut teoretické informatiky - Centrum mladé vědy
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2004
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název knihy nebo sborníku
Logic versus Approximation. Essays Dedicated to Michael M. Richter on the Occasion of his 65th Birthday
ISBN
3-540-22562-5
Počet stran výsledku
5
Strana od-do
1-5
Počet stran knihy
—
Název nakladatele
Springer
Místo vydání
Berlin
Kód UT WoS kapitoly
—
Druh výsledku
C - Kapitola v odborné knize
CEP
BA - Obecná matematika
Rok uplatnění
2004