Není k dispozici

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F04%3A03103400" target="_blank" >RIV/68407700:21230/04:03103400 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Compactness of Fuzzy Logics
Popis výsledku v původním jazyce
Compactness is an important property of classical logic. It states that simultaneous satisfiability of an infinite set of formulas is equivalent to the satisfiability of all its finite subsets. In fuzzy logics, we have different degrees of satisfiability, hence the questions of compactness become more complicated. Here we give an overview of the recent results on compactness and we extend them to various fuzzy logics.
Název v anglickém jazyce
Compactness of Fuzzy Logics
Popis výsledku anglicky
Compactness is an important property of classical logic. It states that simultaneous satisfiability of an infinite set of formulas is equivalent to the satisfiability of all its finite subsets. In fuzzy logics, we have different degrees of satisfiability, hence the questions of compactness become more complicated. Here we give an overview of the recent results on compactness and we extend them to various fuzzy logics.

Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
JD - Využití počítačů, robotika a její aplikace
OECD FORD obor
—

Projekt
<a href="/cs/project/GA201%2F02%2F1540" target="_blank" >GA201/02/1540: Vícehodnotové logiky pro soft computing</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ů

Podobné výsledky(10)