Počet záznamů: 1
Bases of admissible rules of Łukasiewicz logic
SYS 0351058 LBL 01304^^^^^2200301^^^450 005 20240103194259.0 014 $a 000284432700001 $2 WOS 014 $a 78649459013 $2 SCOPUS 017 $a 10.1093/logcom/exp082 $2 DOI 100 $a 20101217d m y slo 03 ba 101 0-
$a eng $d eng 102 $a GB 200 1-
$a Bases of admissible rules of Łukasiewicz logic 215 $a 15 s. 463 -1
$1 001 cav_un_epca*0253859 $1 011 $a 0955-792X $e 1465-363X $1 200 1 $a Journal of Logic and Computation $v Roč. 20, č. 6 (2010), s. 1149-1163 610 0-
$a Łukasiewicz logic 610 0-
$a admissible rule 610 0-
$a bases of admissible rules 700 -1
$3 cav_un_auth*0219256 $a Jeřábek $b Emil $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $p MU-W $w Mathematical Logic and Theoretical Computer Science $4 070 $T Matematický ústav AV ČR, v. v. i. 856 $u http://logcom.oxfordjournals.org/content/20/6/1149
Počet záznamů: 1