| bibtype |
A -
Abstract
|
| ARLID |
0507704 |
| utime |
20240103222430.6 |
| mtime |
20190820235959.9 |
| title
(primary) (eng) |
Completeness properties in abstract algebraic logic |
| specification |
| page_count |
2 s. |
| media_type |
P |
|
| serial |
| ARLID |
cav_un_epca*0507701 |
| title
|
TACL 2019. Abstracts |
| page_num |
59-60 |
| publisher |
| place |
Nice |
| name |
Université Côte d’Azur |
| year |
2019 |
|
| editor |
|
| editor |
|
| editor |
|
|
| author
(primary) |
| ARLID |
cav_un_auth*0100737 |
| name1 |
Cintula |
| name2 |
Petr |
| 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 |
| name1 |
Noguera |
| name2 |
Carles |
| full_dept (cz) |
Matematická teorie rozhodování |
| full_dept |
Department of Decision Making Theory |
| department (cz) |
MTR |
| department |
MTR |
| institution |
UTIA-B |
| full_dept |
Department of Decision Making Theory |
| fullinstit |
Ústav teorie informace a automatizace AV ČR, v. v. i. |
|
| source |
|
| cas_special |
| abstract
(eng) |
Any (propositional) logic L, construed as a structural consequence relation, is strongly complete with respect to the class Mod∗ (L) of its reduced models, i.e., Γ `L ϕ if, and only if, Γ |=Mod∗ (L) ϕ (where `L is the derivability relation of the logic L and |=Mod∗ (L) is the semantical consequence relation with respect to the class Mod∗ (L)). |
| action |
| ARLID |
cav_un_auth*0378848 |
| name |
TACL 2019: Topology, Algebra, and Categories in Logic /9./ |
| dates |
20190617 |
| place |
Nice |
| country |
FR |
| mrcbC20-s |
20190621 |
|
| reportyear |
2020 |
| mrcbC52 |
4 O 4o 20231122144206.1 |
| inst_support |
RVO:67985807 |
| permalink |
http://hdl.handle.net/11104/0298689 |
| confidential |
S |
| arlyear |
2019 |
| mrcbTft |
\nSoubory v repozitáři: 507704-aw.pdf |
| mrcbU14 |
SCOPUS |
| mrcbU24 |
PUBMED |
| mrcbU34 |
WOS |
| mrcbU63 |
cav_un_epca*0507701 TACL 2019. Abstracts Université Côte d’Azur 2019 Nice 59 60 |
| mrcbU67 |
340 Ghilardi S. |
| mrcbU67 |
340 Jansana R. |
| mrcbU67 |
340 Gehrke M. |
|