Počet záznamů: 1
Implicational (Semilinear) Logics II: Additional Connectives and Characterizations of Semilinearity
SYS 0448459 LBL 00829^^^^^2200193^^^450 005 20240103210819.7 014 $a 84945261116 $2 SCOPUS 014 $a 000374969600001 $2 WOS 017 70
$a 10.1007/s00153-015-0452-9 $2 DOI 100 $a 20151013d m y slo 03 ba 101 0-
$a eng 102 $a DE 200 1-
$a Implicational (Semilinear) Logics II: Additional Connectives and Characterizations of Semilinearity 215 $a 20 s. 463 -1
$1 001 cav_un_epca*0256186 $1 011 $a 0933-5846 $e 1432-0665 $1 200 1 $a Archive for Mathematical Logic $v Roč. 55, č. 3 (2016), s. 353-372 $1 210 $c Springer 610 0-
$a abstract algebraic logic 610 0-
$a implicational logics 610 0-
$a disjunctional logics 610 0-
$a semilinear logics 610 0-
$a non-classical logics 610 0-
$a transfer theorems 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 $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 $z K $T Ústav teorie informace a automatizace AV ČR, v. v. i.
Počet záznamů: 1