Number of the records: 1
Generalized Disjunctions in (Infinitary) Structural Consequence Relations
SYS 0393068 LBL 00796^^^^^2200193^^^450 005 20240103202634.3 100 $a 20130613d m y slo 03 ba 101 0-
$a eng 102 $a US 200 1-
$a Generalized Disjunctions in (Infinitary) Structural Consequence Relations 463 -1
$1 001 cav_un_epca*0252195 $1 011 $a 1079-8986 $e 1943-5894 $1 200 1 $a Bulletin of Symbolic Logic $v Roč. 18, č. 3 (2012), s. 442-443 $1 210 $c Cambridge University Press 610 0-
$a Abstract Algebraic Logic 610 0-
$a Generalized disjunction 610 0-
$a Proof by cases properties 610 0-
$a Consequence relations 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 $T Ústav informatiky AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0218332 $a Noguera $b C. $y ES $4 070 856 $u http://www.math.ucla.edu/~asl/bsl/1803-toc.htm
Number of the records: 1