Ústav teorie informace a automatizace

Jste zde

Bibliografie

Journal Article

A 0-1 Law in Mathematical Fuzzy Logic

Badia G., Noguera Carles

: IEEE Transactions on Fuzzy Systems vol.30, 9 (2022), p. 3833-3840

: mathematical fuzzy logic, first-order fuzzy logics, finite weighted structures

: 10.1109/TFUZZ.2021.3131200

: http://library.utia.cas.cz/separaty/2022/MTR/noguera-0550074.pdf

: https://ieeexplore.ieee.org/document/9628030

(eng): 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.

: BA

: 10101

07.01.2019 - 08:39