| bibtype |
J -
Journal Article
|
| ARLID |
0469118 |
| utime |
20240103213358.2 |
| mtime |
20170116235959.9 |
| SCOPUS |
85007165633 |
| WOS |
000401436800004 |
| DOI |
10.1007/s11225-016-9699-3 |
| title
(primary) (eng) |
A new hierarchy of infinitary logics in abstract algebraic logic |
| specification |
| page_count |
31 s. |
| media_type |
P |
|
| serial |
| ARLID |
cav_un_epca*0292190 |
| ISSN |
0039-3215 |
| title
|
Studia Logica |
| volume_id |
105 |
| volume |
3 (2017) |
| page_num |
521-551 |
| publisher |
|
|
| keyword |
Abstract algebraic logic |
| keyword |
consequence relations |
| keyword |
infinitary logics |
| keyword |
completeness properties |
| author
(primary) |
| ARLID |
cav_un_auth*0332685 |
| name1 |
Lávička |
| name2 |
Tomáš |
| full_dept (cz) |
Oddělení teoretické informatiky |
| full_dept (eng) |
Department of Theoretical Computer Science |
| institution |
UIVT-O |
| full_dept |
Department of Theoretical Computer Science |
| fullinstit |
Ústav informatiky AV ČR, v. v. i. |
|
| author
|
| ARLID |
cav_un_auth*0293476 |
| 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 |
| name1 |
Noguera |
| name2 |
Carles |
| institution |
UTIA-B |
| garant |
K |
| fullinstit |
Ústav teorie informace a automatizace AV ČR, v. v. i. |
|
| source |
|
| cas_special |
| project |
| ARLID |
cav_un_auth*0292719 |
| project_id |
GA13-14654S |
| agency |
GA ČR |
|
| project |
| ARLID |
cav_un_auth*0339025 |
| project_id |
689176 |
| agency |
EC |
| country |
XE |
|
| abstract
(eng) |
In this article we investigate infinitary propositional logics from the perspective of their completeness properties in abstract algebraic logic. It is well-known that every finitary logic is complete with respect to its relatively (finitely) subdirectly irreducible models. We identify two syntactical notions formulated in terms of (completely) intersection-prime theories that follow from finitarity and are sufficient conditions for the aforementioned completeness properties. We construct all the necessary counterexamples to show that all these properties define pairwise different classes of logics. Consequently, we obtain a new hierarchy of logics going beyond the scope of finitarity. |
| RIV |
BA |
| FORD0 |
10000 |
| FORD1 |
10100 |
| FORD2 |
10101 |
| reportyear |
2018 |
| mrcbC47 |
UIVT-O 10000 10200 10201 |
| mrcbC52 |
4 A 4a 20231122142202.9 |
| mrcbC55 |
UIVT-O BA |
| inst_support |
RVO:67985556 |
| inst_support |
RVO:67985807 |
| permalink |
http://hdl.handle.net/11104/0269760 |
| confidential |
S |
| mrcbC86 |
n.a. Article Mathematics|Logic|Philosophy |
| mrcbT16-e |
LOGIC|MATHEMATICS |
| mrcbT16-j |
0.331 |
| mrcbT16-s |
0.353 |
| mrcbT16-B |
21.596 |
| mrcbT16-D |
Q4 |
| mrcbT16-E |
Q3 |
| arlyear |
2017 |
| mrcbTft |
\nSoubory v repozitáři: a0469118.pdf |
| mrcbU14 |
85007165633 SCOPUS |
| mrcbU24 |
PUBMED |
| mrcbU34 |
000401436800004 WOS |
| mrcbU63 |
cav_un_epca*0292190 Studia Logica 0039-3215 1572-8730 Roč. 105 č. 3 2017 521 551 Springer |
|