| bibtype |
J -
Journal Article
|
| ARLID |
0436388 |
| utime |
20240103205213.3 |
| mtime |
20141130235959.9 |
| SCOPUS |
84938212488 |
| WOS |
000358588600008 |
| DOI |
10.1007/s11225-014-9594-8 |
| title
(primary) (eng) |
A Note on Natural Extensions in Abstract Algebraic Logic |
| specification |
|
| serial |
| ARLID |
cav_un_epca*0292190 |
| ISSN |
0039-3215 |
| title
|
Studia Logica |
| volume_id |
103 |
| volume |
4 (2015) |
| page_num |
815-823 |
| publisher |
|
|
| keyword |
abstract algebraic logic |
| keyword |
consequence relations |
| keyword |
natural extensions |
| 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 |
| country |
CZ |
| ARLID |
cav_un_auth*0292719 |
|
| project |
| project_id |
247584 |
| agency |
EC |
| country |
XE |
| ARLID |
cav_un_auth*0323440 |
|
| abstract
(eng) |
Transfer theorems are central results in abstract algebraic logic that allow to generalize properties of the lattice of theories of a logic to any algebraic model and its lattice of filters. Their proofs sometimes require the existence of a natural extension of the logic to a bigger set of variables. Constructions of such extensions have been proposed in particular settings in the literature. In this paper we show that these constructions need not always work and propose a wider setting (including all finitary logics and those with countable language) in which they can still be used. |
| RIV |
BA |
| reportyear |
2016 |
| mrcbC52 |
4 A R 4a 4r 20231122140647.2 |
| inst_support |
RVO:67985807 |
| inst_support |
RVO:67985556 |
| permalink |
http://hdl.handle.net/11104/0240134 |
| confidential |
S |
| mrcbC86 |
n.a. Article Mathematics|Logic|Philosophy |
| mrcbT16-e |
LOGIC|MATHEMATICS |
| mrcbT16-j |
0.31 |
| mrcbT16-s |
1.016 |
| mrcbT16-4 |
Q1 |
| mrcbT16-B |
20.915 |
| mrcbT16-C |
73.536 |
| mrcbT16-D |
Q4 |
| mrcbT16-E |
Q2 |
| arlyear |
2015 |
| mrcbTft |
\nSoubory v repozitáři: a0436388.pdf, 0436388.pdf |
| mrcbU14 |
84938212488 SCOPUS |
| mrcbU34 |
000358588600008 WOS |
| mrcbU63 |
cav_un_epca*0292190 Studia Logica 0039-3215 1572-8730 Roč. 103 č. 4 2015 815 823 Springer |
|