Počet záznamů: 1
Proof Theory for Positive Logic with Weak Negation
SYS 0505107 LBL 01000a^^22220027750^450 005 20240103222101.0 014 $a 85069155898 $2 SCOPUS 014 $a 000549716200001 $2 WOS 017 $a 10.1007/s11225-019-09869-y $2 DOI 100 $a 20190531d m y slo 03 ba 101 $a eng 102 $a NL 200 1-
$a Proof Theory for Positive Logic with Weak Negation 215 $a 38 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č. 108, č. 4 (2020), s. 649-686 $1 210 $c Springer 610 $a Minimal propositional logic 610 $a Weak negation 610 $a Intuitionistic propositional logic 610 $a Sequent calculus 610 $a Terminating sequent calculus 610 $a Decidability 610 $a Complexity 700 -1
$3 cav_un_auth*0218529 $a Bílková $b Marta $p UIVT-O $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $w Department of Theoretical Computer Science $T Ústav informatiky AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0375611 $a Colacito $b A. $y IT 856 $u http://dx.doi.org/10.1007/s11225-019-09869-y $9 RIV
Počet záznamů: 1