Počet záznamů: 1
A Henkin-Style Proof of Completeness for First-Order Algebraizable Logics
SYS 0428704 LBL 00802^^^^^2200217^^^450 005 20250112205631.3 014 $a 84937900561 $2 SCOPUS 014 $a 000351311600018 $2 WOS 017 70
$a 10.1017/jsl.2014.19 $2 DOI 100 $a 20140609d m y slo 03 ba 101 0-
$a eng 102 $a US 200 1-
$a A Henkin-Style Proof of Completeness for First-Order Algebraizable Logics 215 $a 18 s. 463 -1
$1 001 cav_un_epca*0257123 $1 011 $a 0022-4812 $e 1943-5886 $1 200 1 $a Journal of Symbolic Logic $v Roč. 80, č. 1 (2015), s. 341-358 $1 210 $c Cambridge University Press 610 0-
$a abstract algebraic logics 610 0-
$a algebraizable logics 610 0-
$a first-order logics 610 0-
$a completeness theorem 610 0-
$a Henkin theories 700 -1
$3 cav_un_auth*0100737 $a Cintula $b Petr $p UIVT-O $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $w Department of Theoretical Computer Science $4 070 $T Ústav informatiky AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0293476 $a Noguera $b Carles $p UTIA-B $i Matematická teorie rozhodování $j Department of Decision Making Theory $k MTR $l MTR $w Department of Decision Making Theory $4 070 $T Ústav teorie informace a automatizace AV ČR, v. v. i.
Počet záznamů: 1