Počet záznamů: 1
Distributive substructural logics as coalgebraic logics over posets
SYS 0379885 LBL 02396^^^^^2200277^^^450 005 20240103201128.3 014 $a 84904294531 $2 SCOPUS 100 $a 20120828d m y slo 03 ba 101 0-
$a eng 102 $a GB 200 1-
$a Distributive substructural logics as coalgebraic logics over posets 215 $a 24 s. $c P 463 -1
$1 001 cav_un_epca*0379883 $1 010 $a 978-1-84890-068-4 $1 200 1 $a Advances in Modal Logic $f red. T. Bolander, T. Braüner, S. Ghilardi $v S. 119-142 $1 210 $a London $c College Publications $d 2012 $1 225 $v 9 $1 702 1 $a Bolander $b T. $4 340 $1 702 1 $a Braüner $b T. $4 340 $1 702 1 $a Moss $b L. $4 340 $1 702 1 $a Ghilardi $b S. $4 340 610 0-
$a substructural logics 610 0-
$a frame semantics 610 0-
$a coalgebras 610 0-
$a coalgebraic logic 610 0-
$a Goldblatt-Thomason theorem 700 -1
$3 cav_un_auth*0218529 $a Bílková $b Marta $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. 701 -1
$3 cav_un_auth*0208971 $a Horčík $b Rostislav $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. 701 -1
$3 cav_un_auth*0271333 $a Velebil $b J. $y CZ $4 070
Počet záznamů: 1