bibtype |
A -
Abstract
|
ARLID |
0461995 |
utime |
20240103212526.2 |
mtime |
20160826235959.9 |
title
(primary) (eng) |
Completeness Properties in Protoalgebraic Logics |
mrcb200-f |
Petr Cintula, Carles Noguera |
specification |
|
serial |
title
|
LATD 2016 Book of Abstracts |
page_num |
56-58 |
publisher |
place |
Johannesburg |
name |
WITS University |
year |
2016 |
|
|
keyword |
abstract algebraic logic |
keyword |
protoalgebraic logic |
keyword |
completeness theorems |
keyword |
logical matrices |
keyword |
consequence relation |
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. |
|
cas_special |
project |
ARLID |
cav_un_auth*0292719 |
project_id |
GA13-14654S |
agency |
GA ČR |
|
action |
ARLID |
cav_un_auth*0332683 |
name |
LATD 2016. Logic, Algebra and Truth Degrees |
dates |
28.06.2016-30.06.2016 |
place |
Phalaborwa |
country |
ZA |
|
RIV |
BA |
reportyear |
2017 |
mrcbC52 |
4 O 4o 20231122141827.9 |
inst_support |
RVO:67985807 |
inst_support |
RVO:67985556 |
permalink |
http://hdl.handle.net/11104/0261528 |
confidential |
S |
arlyear |
2016 |
mrcbTft |
\nSoubory v repozitáři: a0461995.pdf |
mrcbU14 |
SCOPUS |
mrcbU24 |
PUBMED |
mrcbU34 |
WOS |
mrcbU63 |
LATD 2016 Book of Abstracts 56 58 Johannesburg WITS University 2016 |
|