Number of the records: 1
The Proof by Cases Property and its Variants in Structural Consequence Relations
SYS 0395571 LBL 01670^^^^^2200229^^^450 005 20240103202904.9 014 $a 000323437800004 $2 WOS 014 $a 84881617144 $2 SCOPUS 017 70
$a 10.1007/s11225-013-9496-1 $2 DOI 100 $a 20130913d m y slo 03 ba 101 0-
$a eng 102 $a NL 200 1-
$a The Proof by Cases Property and its Variants in Structural Consequence Relations 215 $a 35 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č. 101, č. 4 (2013), s. 713-747 $1 210 $c Springer 610 0-
$a Abstract Algebraic Logic 610 0-
$a Generalized disjunction 610 0-
$a Proof by cases properties 610 0-
$a Consequence relations 610 0-
$a Filter-distributive logics 610 0-
$a Protoalgebraic logics 700 -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 $z K $T Ústav informatiky AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0293476 $a Noguera $b Carles $p UTIA-B $i Matematická teorie rozhodování $j Department of Decision Making Theory $k MTR $l MTR $w Department of Decision Making Theory $4 070 $T Ústav teorie informace a automatizace AV ČR, v. v. i.
Number of the records: 1