Počet záznamů: 1
Completeness Properties in Protoalgebraic Logics
SYS 0461995 LBL 01000a^^22220027750^450 005 20240103212526.2 100 $a 20160826d m y slo 03 ba 101 $a eng 102 $a ZA 200 1-
$a Completeness Properties in Protoalgebraic Logics $f Petr Cintula, Carles Noguera 215 $a 3 s. 463 -1
$1 200 1 $a LATD 2016 Book of Abstracts $v S. 56-58 $1 210 $a Johannesburg $c WITS University $d 2016 610 0-
$a abstract algebraic logic 610 0-
$a protoalgebraic logic 610 0-
$a completeness theorems 610 0-
$a logical matrices 610 0-
$a consequence relation 700 -1
$3 cav_un_auth*0100737 $a Cintula $b Petr $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $p UIVT-O $w Department of Theoretical Computer Science $T Ústav informatiky AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0293476 $a Noguera $b Carles $i Matematická teorie rozhodování $j Department of Decision Making Theory $k MTR $l MTR $p UTIA-B $w Department of Decision Making Theory $T Ústav teorie informace a automatizace AV ČR, v. v. i.
Počet záznamů: 1