| bibtype |
J -
Journal Article
|
| ARLID |
0537232 |
| utime |
20240103225102.4 |
| mtime |
20210111235959.9 |
| SCOPUS |
85079659019 |
| WOS |
000658338600006 |
| DOI |
10.1109/TFUZZ.2020.2975146 |
| title
(primary) (eng) |
A general omitting types theorem in mathematical fuzzy logic |
| specification |
| page_count |
9 s. |
| media_type |
P |
|
| serial |
| ARLID |
cav_un_epca*0253234 |
| ISSN |
1063-6706 |
| title
|
IEEE Transactions on Fuzzy Systems |
| volume_id |
29 |
| volume |
6 (2021) |
| page_num |
1386-1394 |
| publisher |
| name |
Institute of Electrical and Electronics Engineers |
|
|
| keyword |
mathematical fuzzy logic |
| keyword |
omitting types theorem |
| keyword |
first-order fuzzy logics |
| keyword |
uninorms |
| keyword |
weighted structures |
| author
(primary) |
| ARLID |
cav_un_auth*0382241 |
| name1 |
Badia |
| name2 |
G. |
| country |
AU |
| share |
50 |
|
| author
|
| ARLID |
cav_un_auth*0293476 |
| name1 |
Noguera |
| name2 |
Carles |
| institution |
UTIA-B |
| full_dept (cz) |
Matematická teorie rozhodování |
| full_dept |
Department of Decision Making Theory |
| department (cz) |
MTR |
| department |
MTR |
| full_dept |
Department of Decision Making Theory |
| share |
50 |
| garant |
A |
| fullinstit |
Ústav teorie informace a automatizace AV ČR, v. v. i. |
|
| source |
|
| source |
|
| cas_special |
| project |
| project_id |
GA17-04630S |
| agency |
GA ČR |
| ARLID |
cav_un_auth*0349495 |
|
| abstract
(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. |
| result_subspec |
WOS |
| RIV |
BA |
| FORD0 |
10000 |
| FORD1 |
10100 |
| FORD2 |
10102 |
| reportyear |
2022 |
| num_of_auth |
2 |
| inst_support |
RVO:67985556 |
| permalink |
http://hdl.handle.net/11104/0315002 |
| confidential |
S |
| mrcbC86 |
3+4 Article Computer Science Artificial Intelligence|Engineering Electrical Electronic |
| mrcbC91 |
C |
| mrcbT16-e |
COMPUTERSCIENCEARTIFICIALINTELLIGENCE|ENGINEERINGELECTRICALELECTRONIC |
| mrcbT16-j |
2.174 |
| mrcbT16-s |
4.080 |
| mrcbT16-D |
Q1* |
| mrcbT16-E |
Q1* |
| arlyear |
2021 |
| mrcbU14 |
85079659019 SCOPUS |
| mrcbU24 |
PUBMED |
| mrcbU34 |
000658338600006 WOS |
| mrcbU63 |
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 |
|