Počet záznamů: 1
Note on Deduction Theorems in contraction-free logics
SYS 0376591 LBL 01442^^^^^2200253^^^450 005 20240103200835.7 014 $a 000303919900013 $2 WOS 014 $a 84860914049 $2 SCOPUS 017 70
$a 10.1002/malq.201110065 $2 DOI 100 $a 20120502d m y slo 03 ba 101 0-
$a eng 102 $a DE 200 1-
$a Note on Deduction Theorems in contraction-free logics 215 $a 8 s. 463 -1
$1 001 cav_un_epca*0257223 $1 011 $a 0942-5616 $e 1521-3870 $1 200 1 $a Mathematical Logic Quarterly $v Roč. 58, č. 3 (2012), s. 236-243 $1 210 $c Wiley 610 0-
$a Local Deduction Theorem 610 0-
$a BCI-logic 610 0-
$a Substructural logics 610 0-
$a Rule of contraction 700 -1
$3 cav_un_auth*0242277 $a Chvalovský $b Karel $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*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.
Počet záznamů: 1