| bibtype |
J -
Journal Article
|
| ARLID |
0537231 |
| utime |
20240103225102.3 |
| mtime |
20210111235959.9 |
| WOS |
000744508900001 |
| SCOPUS |
85050989071 |
| DOI |
10.1093/jigpal/jzaa027 |
| title
(primary) (eng) |
Saturated models of first-order many-valued logics |
| specification |
| page_count |
22 s. |
| media_type |
P |
|
| serial |
| ARLID |
cav_un_epca*0258358 |
| ISSN |
1367-0751 |
| title
|
Logic Journal of the IGPL |
| volume_id |
30 |
| volume |
1 (2022) |
| page_num |
1-20 |
| publisher |
| name |
Oxford University Press |
|
|
| keyword |
mathematical fuzzy logic |
| keyword |
first-order graded logics |
| keyword |
uninorms |
| 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 devoted to the problem of existence of saturated models for first-order many-valued logics. We consider a general notion of type as pairs of sets of formulas in one free variable that express properties that an element of a model should, respectively, satisfy and falsify. By means of an elementary chains construction, we prove that each model can be elementarily extended to a κ-saturated model, i.e. a model where as many types as possible are realized. In order to prove this theorem we obtain, as by-products, some results on tableaux (understood as pairs of sets of formulas) and their consistency and satisfiability and a generalization of the Tarski-Vaught theorem on unions of elementary chains. Finally, we provide a structural characterization of κ-saturation in terms of the completion of a diagram representing a certain configuration of models and mappings. |
| 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/0315000 |
| mrcbC61 |
1 |
| confidential |
S |
| mrcbC86 |
3+4 Article Mathematics Applied|Mathematics|Logic |
| mrcbC91 |
C |
| mrcbT16-e |
MATHEMATICS|MATHEMATICS.APPLIED|LOGIC |
| mrcbT16-f |
0.9 |
| mrcbT16-g |
0.2 |
| mrcbT16-h |
6.7 |
| mrcbT16-i |
0.00087 |
| mrcbT16-j |
0.349 |
| mrcbT16-k |
615 |
| mrcbT16-s |
0.411 |
| mrcbT16-5 |
0.900 |
| mrcbT16-6 |
93 |
| mrcbT16-7 |
Q1 |
| mrcbT16-C |
61.2 |
| mrcbT16-D |
Q4 |
| mrcbT16-E |
Q2 |
| mrcbT16-M |
0.9 |
| mrcbT16-N |
Q1 |
| mrcbT16-P |
88.1 |
| arlyear |
2022 |
| mrcbU14 |
85050989071 SCOPUS |
| mrcbU24 |
PUBMED |
| mrcbU34 |
000744508900001 WOS |
| mrcbU63 |
cav_un_epca*0258358 Logic Journal of the IGPL 1367-0751 1368-9894 Roč. 30 č. 1 2022 1 20 Oxford University Press |
|