Number of the records: 1
A 0-1 Law in Mathematical Fuzzy Logic
- 1.0550074 - ÚTIA 2023 RIV US eng J - Journal Article
Badia, G. - Noguera, Carles
A 0-1 Law in Mathematical Fuzzy Logic.
IEEE Transactions on Fuzzy Systems. Roč. 30, č. 9 (2022), s. 3833-3840. ISSN 1063-6706. E-ISSN 1941-0034
Institutional support: RVO:67985556
Keywords : mathematical fuzzy logic * first-order fuzzy logics * finite weighted structures
OECD category: Pure mathematics
Impact factor: 11.9, year: 2022
Method of publishing: Limited access
http://library.utia.cas.cz/separaty/2022/MTR/noguera-0550074.pdf https://ieeexplore.ieee.org/document/9628030
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.
Permanent Link: http://hdl.handle.net/11104/0326170
Number of the records: 1