Monadic Fuzzy Predicate Logic.
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F02%3A06020007" target="_blank" >RIV/67985807:_____/02:06020007 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Monadic Fuzzy Predicate Logic.
Popis výsledku v původním jazyce
Two wariants of monadic fuzzy predicate logic are analeyed and compared with the fuzzy predicate logic with respect to finite model property (properties) and arithmetical complexity of sets of tautologies, satisfiable formulas and of analogous notion restricted to finite models.
Název v anglickém jazyce
Monadic Fuzzy Predicate Logic.
Popis výsledku anglicky
Two wariants of monadic fuzzy predicate logic are analeyed and compared with the fuzzy predicate logic with respect to finite model property (properties) and arithmetical complexity of sets of tautologies, satisfiable formulas and of analogous notion restricted to finite models.
Klasifikace
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
—
Návaznosti výsledku
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)<br>Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2002
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 periodika
Studia Logica
ISSN
0039-3215
e-ISSN
—
Svazek periodika
71
Číslo periodika v rámci svazku
N/A
Stát vydavatele periodika
NL - Nizozemsko
Počet stran výsledku
11
Strana od-do
165-175
Kód UT WoS článku
—
EID výsledku v databázi Scopus
—