Kompaktnost ve fuzzy logikách

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F04%3A00103263" target="_blank" >RIV/67985807:_____/04:00103263 - 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 Logic
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 recent results on compactness and we extend them to various fuzzy logics.
Název v anglickém jazyce
Compactness of Fuzzy Logic
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 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
BA - Obecná matematika
OECD FORD obor
—

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í
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)