0550074 20230418204456.120211228235959.9 85120858567 000848264000038 10.1109/TFUZZ.2021.3131200 8 s. P cav_un_epca*02532341063-6706309 (2022)3833-3840Institute of Electrical and Electronics Engineers mathematical fuzzy logic first-order fuzzy logics finite weighted structures cav_un_auth*0382241 Badia G. AU 50 cav_un_auth*0293476 Noguera Carles UTIA-B Matematická teorie rozhodování Department of Decision Making Theory MTR MTR Department of Decision Making Theory 50 A Ústav teorie informace a automatizace AV ČR, v. v. i. 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. WOS BA 10000 10100 10101 2023 2 RVO:67985556 http://hdl.handle.net/11104/0326170 S 3+4 Article Computer Science Artificial Intelligence|Engineering Electrical Electronic C COMPUTERSCIENCE.ARTIFICIALINTELLIGENCE|ENGINEERING.ELECTRICAL&ELECTRONIC 11.3 6.1 4.4 0.02698 2.447 27044 3.533 10.300 450 Q1 96.1 Q1* Q1* 3.07 Q1 97.3 2022 85120858567 SCOPUS PUBMED 000848264000038 WOS cav_un_epca*0253234 IEEE Transactions on Fuzzy Systems 1063-6706 1941-0034 Roč. 30 č. 9 2022 3833 3840 Institute of Electrical and Electronics Engineers