Počet záznamů: 1
Varieties of positive modal algebras and structural completeness
SYS 0504824 LBL 01000a^^22220027750^450 005 20240103222041.6 014 $a 85067359071 $2 SCOPUS 014 $a 000483091300006 $2 WOS 017 $a 10.1017/S1755020319000236 $2 DOI 100 $a 20190523d m y slo 03 ba 101 $a eng 102 $a GB 200 1-
$a Varieties of positive modal algebras and structural completeness 215 $a 32 s. 463 -1
$1 001 cav_un_epca*0343866 $1 011 $a 1755-0203 $e 1755-0211 $1 200 1 $a Review of Symbolic Logic $v Roč. 12, č. 3 (2019), s. 557-588 $1 210 $c Cambridge University Press 610 $a positive modal logic 610 $a modal logic 610 $a structural completeness 610 $a admissible rule 610 $a abstract algebraic logic 610 $a algebraization of Gentzen systems 700 -1
$3 cav_un_auth*0333530 $a Moraschini $b Tommaso $p UIVT-O $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $w Department of Theoretical Computer Science $y ES $T Ústav informatiky AV ČR, v. v. i. 856 $9 RIV $u http://dx.doi.org/10.1017/S1755020319000236
Počet záznamů: 1