Počet záznamů: 1
The Semantic Isomorphism Theorem in Abstract Algebraic Logic
SYS 0465843 LBL 01000a^^22220027750^450 005 20240103213007.5 014 $a 000385604800006 $2 WOS 014 $a 84989871444 $2 SCOPUS 017 $a 10.1016/j.apal.2016.08.001 $2 DOI 100 $a 20161123d m y slo 03 ba 101 $a eng 102 $a NL 200 1-
$a The Semantic Isomorphism Theorem in Abstract Algebraic Logic 215 $a 34 s. 463 -1
$1 001 cav_un_epca*0256135 $1 011 $a 0168-0072 $e 1873-2461 $1 200 1 $a Annals of Pure and Applied Logic $v Roč. 167, č. 12 (2016), s. 1298-1331 $1 210 $c Elsevier 610 $a algebraizable logics 610 $a abstract algebraic logic 610 $a structural closure operators 610 $a semantic isomorphism theorem 610 $a evaluational frames 610 $a compositional lattice 700 -1
$3 cav_un_auth*0333530 $a Moraschini $b Tommaso $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $p UIVT-O $w Department of Theoretical Computer Science $y ES $T Ústav informatiky AV ČR, v. v. i.
Počet záznamů: 1