0537232 20240103225102.420210111235959.9 85079659019 000658338600006 10.1109/TFUZZ.2020.2975146 9 s. P cav_un_epca*02532341063-6706296 (2021)1386-1394Institute of Electrical and Electronics Engineers mathematical fuzzy logic omitting types theorem first-order fuzzy logics uninorms 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/2021/MTR/noguera-0537232.pdf https://ieeexplore.ieee.org/document/9003263 GA17-04630S GA ČR cav_un_auth*0349495 This paper is a contribution to the theoretical study of weighted structures in fuzzy logic. We consider an important item from classical model theory: the construction of models that do not have any collection satisfying certain prescribed properties, that is, an omitting types theorem. We generalize the work done by Cintula and Diaconescu (Omitting Types Theorem for Fuzzy Logics, IEEE Transactions on Fuzzy Systems 27(2):273-277, 2019), who solved the problem for standard one-sided types. Instead, we introduce types for fuzzy structures as pairs of sets of formulas with free variables (expressing, respectively, properties to be satisfied and those to be avoided) and prove the corresponding omitting types theorem in the framework of uninorm-based logics. WOS BA 10000 10100 10102 2022 2 RVO:67985556 http://hdl.handle.net/11104/0315002 S 3+4 Article Computer Science Artificial Intelligence|Engineering Electrical Electronic C ENGINEERING.ELECTRICAL&ELECTRONIC|COMPUTERSCIENCE.ARTIFICIALINTELLIGENCE 11.637 8.344 4.1 0.02187 2.174 25583 228 4.080 43.52 9.68 8507 Q1 11.200 326 Q1 94.7 Q1* Q1* 2.87 Q1 96.558 2021 85079659019 SCOPUS PUBMED 000658338600006 WOS cav_un_epca*0253234 IEEE Transactions on Fuzzy Systems 1063-6706 1941-0034 Roč. 29 č. 6 2021 1386 1394 Institute of Electrical and Electronics Engineers