A 0-1 Law in Mathematical Fuzzy Logic

0561334 - FLÚ 2023 RIV US eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955
Klíčová slova: finite weighted structures * first-order fuzzy logics * mathematical fuzzy logic * monoidal t-norms
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 11.9, rok: 2022
Způsob publikování: Omezený přístup
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.
Trvalý link: https://hdl.handle.net/11104/0335510