Pravdivá nedokazatelná formule fuzzy predikátové logiky

Kód výsledku v 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>
Výsledek na webu
—
DOI - Digital Object Identifier
—

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.

Projekt
<a href="/cs/project/LN00A056" target="_blank" >LN00A056: Institut teoretické informatiky - Centrum mladé vědy</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

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ů

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
—

Podobné výsledky(10)