Ústav teorie informace a automatizace

Jste zde

Bibliografie

Journal Article

A general omitting types theorem in mathematical fuzzy logic

Badia G., Noguera Carles

: IEEE Transactions on Fuzzy Systems vol.29, 6 (2021), p. 1386-1394

: GA17-04630S, GA ČR

: mathematical fuzzy logic, omitting types theorem, first-order fuzzy logics, uninorms, weighted structures

: 10.1109/TFUZZ.2020.2975146

: http://library.utia.cas.cz/separaty/2021/MTR/noguera-0537232.pdf

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

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

: BA

: 10102

07.01.2019 - 08:39