| bibtype |
J -
Journal Article
|
| ARLID |
0550074 |
| utime |
20230418204456.1 |
| mtime |
20211228235959.9 |
| SCOPUS |
85120858567 |
| WOS |
000848264000038 |
| DOI |
10.1109/TFUZZ.2021.3131200 |
| title
(primary) (eng) |
A 0-1 Law in Mathematical Fuzzy Logic |
| specification |
| page_count |
8 s. |
| media_type |
P |
|
| serial |
| ARLID |
cav_un_epca*0253234 |
| ISSN |
1063-6706 |
| title
|
IEEE Transactions on Fuzzy Systems |
| volume_id |
30 |
| volume |
9 (2022) |
| page_num |
3833-3840 |
| publisher |
| name |
Institute of Electrical and Electronics Engineers |
|
|
| keyword |
mathematical fuzzy logic |
| keyword |
first-order fuzzy logics |
| keyword |
finite 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 |
| abstract
(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. |
| result_subspec |
WOS |
| RIV |
BA |
| FORD0 |
10000 |
| FORD1 |
10100 |
| FORD2 |
10101 |
| reportyear |
2023 |
| num_of_auth |
2 |
| inst_support |
RVO:67985556 |
| permalink |
http://hdl.handle.net/11104/0326170 |
| confidential |
S |
| mrcbC91 |
C |
| mrcbT16-e |
COMPUTERSCIENCEARTIFICIALINTELLIGENCE|ENGINEERINGELECTRICALELECTRONIC |
| mrcbT16-j |
2.447 |
| mrcbT16-s |
3.533 |
| mrcbT16-D |
Q1* |
| mrcbT16-E |
Q1* |
| arlyear |
2022 |
| mrcbU14 |
85120858567 SCOPUS |
| mrcbU24 |
PUBMED |
| mrcbU34 |
000848264000038 WOS |
| mrcbU63 |
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 |
|