| bibtype |
J -
Journal Article
|
| ARLID |
0448459 |
| utime |
20250112205916.0 |
| mtime |
20151013235959.9 |
| SCOPUS |
84945261116 |
| WOS |
000374969600001 |
| DOI |
10.1007/s00153-015-0452-9 |
| title
(primary) (eng) |
Implicational (Semilinear) Logics II: Additional Connectives and Characterizations of Semilinearity |
| specification |
|
| serial |
| ARLID |
cav_un_epca*0256186 |
| ISSN |
0933-5846 |
| title
|
Archive for Mathematical Logic |
| volume_id |
55 |
| volume |
3 (2016) |
| page_num |
353-372 |
| publisher |
|
|
| keyword |
abstract algebraic logic |
| keyword |
implicational logics |
| keyword |
disjunctional logics |
| keyword |
semilinear logics |
| keyword |
non-classical logics |
| keyword |
transfer theorems |
| author
(primary) |
| ARLID |
cav_un_auth*0100737 |
| name1 |
Cintula |
| name2 |
Petr |
| institution |
UIVT-O |
| full_dept (cz) |
Oddělení teoretické informatiky |
| full_dept (eng) |
Department of Theoretical Computer Science |
| full_dept |
Department of Theoretical Computer Science |
| fullinstit |
Ústav informatiky AV ČR, v. v. i. |
|
| 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 |
| garant |
K |
| fullinstit |
Ústav teorie informace a automatizace AV ČR, v. v. i. |
|
| cas_special |
| project |
| project_id |
GA13-14654S |
| agency |
GA ČR |
| ARLID |
cav_un_auth*0292719 |
|
| project |
| project_id |
247584 |
| agency |
EC |
| country |
XE |
| ARLID |
cav_un_auth*0323440 |
|
| abstract
(eng) |
This is the continuation of the paper (Cintula and Noguera in Arch Math Log 49(4):417–446, 2010). We continue the abstract study of non-classical logics based on the kind of generalized implication connectives they possess and we focus on semilinear logics, i.e. those that are complete with respect to the class of models where the implication defines a linear order. We obtain general characterizations of semilinearity in terms of the intersection-prime extension property, the syntactical semilinearity metarule and the class of finitely subdirectly irreducible models. Moreover, we consider extensions of the language with lattice connectives and generalized disjunctions, study their interplay with implication and obtain axiomatizations and further descriptions of semilinear logics in terms of disjunctions and the proof by cases property. |
| RIV |
BA |
| reportyear |
2017 |
| mrcbC52 |
4 A R 4a 4r 20231122141211.2 20250112205916.0 |
| inst_support |
RVO:67985807 |
| inst_support |
RVO:67985556 |
| permalink |
http://hdl.handle.net/11104/0250156 |
| confidential |
S |
| mrcbC86 |
n.a. Article Mathematics|Logic |
| mrcbT16-e |
LOGIC|MATHEMATICS |
| mrcbT16-j |
0.458 |
| mrcbT16-s |
0.605 |
| mrcbT16-4 |
Q1 |
| mrcbT16-B |
40.038 |
| mrcbT16-D |
Q3 |
| mrcbT16-E |
Q2 |
| arlyear |
2016 |
| mrcbTft |
\nSoubory v repozitáři: dodatecne_citace_k_0448459.pdf, a0448459.pdf, 0448459.pdf |
| mrcbU14 |
84945261116 SCOPUS |
| mrcbU34 |
000374969600001 WOS |
| mrcbU63 |
cav_un_epca*0256186 Archive for Mathematical Logic 0933-5846 1432-0665 Roč. 55 č. 3 2016 353 372 Springer |
|