Number of the records: 1
Implicational (semilinear) logics III: completeness properties
SYS 0477040 LBL 01000a^^22220027750^450 005 20240103214359.8 014 $a 85026497280 $2 SCOPUS 014 $a 000428317500011 $2 WOS 017 $a 10.1007/s00153-017-0577-0 $2 DOI 100 $a 20170815d m y slo 03 ba 101 $a eng 102 $a DE 200 1-
$a Implicational (semilinear) logics III: completeness properties 215 $a 30 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č. 57, 3-4 (2018), s. 391-420 $1 210 $c Springer 610 $a abstract algebraic logic 610 $a protoalgebraic logics 610 $a implicational logics 610 $a disjunctional logics 610 $a semilinear logics 610 $a non-classical logics 610 $a completeness theorems 610 $a rational completeness 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 $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 $z K $T Ústav teorie informace a automatizace AV ČR, v. v. i.
Number of the records: 1