Number of the records: 1
Two Notions of Compactness in Gödel Logics
SYS 0405251 LBL 00000nam^^22^^^^^^^^450 005 20240103181847.2 014 $a 27544505579 $2 SCOPUS 017 70
$a 10.1007/s11225-005-2804-7 $2 DOI 101 0-
$a eng $d eng 102 $a NL 200 1-
$a Two Notions of Compactness in Gödel Logics 215 $a 25 s. 463 -1
$1 001 cav_un_epca*0292190 $1 011 $a 0039-3215 $e 1572-8730 $1 200 1 $a Studia Logica $v Roč. 81, č. 1 (2005), s. 99-123 $1 210 $c Springer 541 $a Dva pojmy kompaktnosti v Gödelových logikách $z cze 610 1-
$a logic 610 1-
$a Gödel logic 610 1-
$a compactness 610 1-
$a entailment 610 1-
$a satisfiability 700 -1
$3 cav_un_auth*0100737 $a Cintula $b Petr $p UIVT-O $w Department of Theoretical Computer Science $4 070 $T Ústav informatiky AV ČR, v. v. i.
Number of the records: 1