Počet záznamů: 1
Admissible Rules in the Implication–Negation Fragment of Intuitionistic Logic
SYS 0350483 LBL 01418^^^^^2200265^^^450 005 20240103194224.5 014 $a 000285367800003 $2 WOS 014 $a 78349310686 $2 SCOPUS 017 $a 10.1016/j.apal.2010.09.001 $2 DOI 100 $a 20101130d m y slo 03 ba 101 0-
$a eng 102 $a NL 200 1-
$a Admissible Rules in the Implication–Negation Fragment of Intuitionistic Logic 215 $a 10 s. 463 -1
$1 001 cav_un_epca*0256135 $1 011 $a 0168-0072 $e 1873-2461 $1 200 1 $a Annals of Pure and Applied Logic $v Roč. 162, č. 2 (2010), s. 162-171 $1 210 $c Elsevier 610 0-
$a intuitionistic logic 610 0-
$a intermediate logics 610 0-
$a admissible rules 610 0-
$a structural completeness 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 $4 070 $z K $T Ústav informatiky AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0266236 $a Metcalfe $b G. $y CH $4 070
Počet záznamů: 1