Počet záznamů: 1
Equational bases for joins of subvarieties of algebras of non-classical logics
SYS 0369928 LBL 00727^^^^^2200169^^^450 005 20240103200120.6 100 $a 20111223d m y slo 03 ba 101 0-
$a eng 102 $a GE 200 1-
$a Equational bases for joins of subvarieties of algebras of non-classical logics 463 -1
$1 001 cav_un_epca*0369927 $1 200 1 $a Ordered Groups and Lattices in Algebraic Logic $v S. 9 $1 210 $c Tbilisi State University $d 2011 $1 702 1 $a Liparteliani $b R. $4 340 610 0-
$a Abstract Algebraic Logic 610 0-
$a Generalized disjunction 610 0-
$a Proof by cases properties 610 0-
$a laticce of subvarieties 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.
Počet záznamů: 1