Fuzzy Logic and Arithmetical Hierarchy III.

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F01%3A06010016" target="_blank" >RIV/67985807:_____/01:06010016 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Fuzzy Logic and Arithmetical Hierarchy III.
Popis výsledku v původním jazyce
Fuzzy logic is understood as a logic with a comparative and truth-functional notion of truth. Arithmetical complexity of sets of tautologies (identically true sentences) and satisfiable sentences (sentences true in at least one interpretation) as well ofsets of provable formulas of the most important systems of fuzzy predicate logic is determined or at least estimated.
Název v anglickém jazyce
Fuzzy Logic and Arithmetical Hierarchy III.
Popis výsledku anglicky
Fuzzy logic is understood as a logic with a comparative and truth-functional notion of truth. Arithmetical complexity of sets of tautologies (identically true sentences) and satisfiable sentences (sentences true in at least one interpretation) as well ofsets of provable formulas of the most important systems of fuzzy predicate logic is determined or at least estimated.

Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BA - Obecná matematika
OECD FORD obor
—

Projekt
<a href="/cs/project/IAA1030004" target="_blank" >IAA1030004: Matematické základy inference s vágností a nejistotou</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2001
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ů

Podobné výsledky(10)