A 0-1 Law in Mathematical Fuzzy Logic
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985556%3A_____%2F22%3A00550074" target="_blank" >RIV/67985556:_____/22:00550074 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/67985955:_____/22:00561334
Výsledek na webu
<a href="https://ieeexplore.ieee.org/document/9628030" target="_blank" >https://ieeexplore.ieee.org/document/9628030</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/TFUZZ.2021.3131200" target="_blank" >10.1109/TFUZZ.2021.3131200</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
A 0-1 Law in Mathematical Fuzzy Logic
Popis výsledku v původním jazyce
This paper continues the theoretical study of weighted structures in mathematical fuzzy logic focusing on the finite model theory of fuzzy logics valued on arbitrary finite MTL-chains. We show that for any first-order (or infinitary with finitely many variables) formula phi, there is a unique truth-value that phi takes almost surely in every finite many-valued model and such that every other truth-value is almost surely not taken. This generalizes a theorem in the fuzzy setting due to Robert Kosik and Christian G. Fermuller.
Název v anglickém jazyce
A 0-1 Law in Mathematical Fuzzy Logic
Popis výsledku anglicky
This paper continues the theoretical study of weighted structures in mathematical fuzzy logic focusing on the finite model theory of fuzzy logics valued on arbitrary finite MTL-chains. We show that for any first-order (or infinitary with finitely many variables) formula phi, there is a unique truth-value that phi takes almost surely in every finite many-valued model and such that every other truth-value is almost surely not taken. This generalizes a theorem in the fuzzy setting due to Robert Kosik and Christian G. Fermuller.
Klasifikace
Druh
J<sub>imp</sub> - Článek v periodiku v databázi Web of Science
CEP obor
—
OECD FORD obor
10101 - Pure mathematics
Návaznosti výsledku
Projekt
<a href="/cs/project/GM21-23610M" target="_blank" >GM21-23610M: Logická struktura informačních kanálů</a><br>
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2022
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
IEEE Transactions on Fuzzy Systems
ISSN
1063-6706
e-ISSN
1941-0034
Svazek periodika
30
Číslo periodika v rámci svazku
9
Stát vydavatele periodika
US - Spojené státy americké
Počet stran výsledku
8
Strana od-do
3833-3840
Kód UT WoS článku
000848264000038
EID výsledku v databázi Scopus
2-s2.0-85120858567