Compactness of Fuzzy Logic

Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Compactness of Fuzzy Logic
Original language description
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.
Czech name
Kompaktnost ve fuzzy logikách
Czech description
Kompaktnost je důležitou vlastností klasické logiky. Říká nám, že nekonečná množina formulí je splnitelná právě tehdy, když je splnitelná každá její konečná podmnožina. Ve fuzzy logikách lze definovat mnoho alternativních pojmů splnitelnosti a tudíž otázka kompaktnosti je mnohem komplikovanější. V tomto článku dáváme přehled současných výsledků o kompaktnosti fuzzy logik.

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—

Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year
2004
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)