Which Fuzzy Logic Satisfy the Compactness Problem?

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

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

Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

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ů

Název statě ve sborníku
Information Processing and Management Uncertainty in Knowledge-based Systems.
ISBN
2-9516453-1-7
ISSN
—
e-ISSN
—
Počet stran výsledku
5
Strana od-do
405-409
Název nakladatele
ESIA
Místo vydání
Savoie
Místo konání akce
Annency [FR]
Datum konání akce
1. 7. 2002
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—

Podobné výsledky(10)