A 0-1 Law in Mathematical Fuzzy Logic

0561334 - FLÚ 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
R&D Projects: GA ČR(CZ) GM21-23610M
Institutional support: RVO:67985955
Keywords : finite weighted structures * first-order fuzzy logics * mathematical fuzzy logic * monoidal t-norms
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 11.9, year: 2022
Method of publishing: Limited access
https://doi.org/10.1109/TFUZZ.2021.3131200

This article 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, there is a truth-value that 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: https://hdl.handle.net/11104/0335510