Number of the records: 1
A new hierarchy of infinitary logics in abstract algebraic logic
SYS 0469118 LBL 01000a^^22220027750^450 005 20240103213358.2 014 $a 85007165633 $2 SCOPUS 014 $a 000401436800004 $2 WOS 017 $a 10.1007/s11225-016-9699-3 $2 DOI 100 $a 20170116d m y slo 03 ba 101 $a eng $d eng 102 $a NL 200 1-
$a A new hierarchy of infinitary logics in abstract algebraic logic 215 $a 31 s. $c P 463 -1
$1 001 cav_un_epca*0292190 $1 011 $a 0039-3215 $e 1572-8730 $1 200 1 $a Studia Logica $v Roč. 105, č. 3 (2017), s. 521-551 $1 210 $c Springer 610 $a Abstract algebraic logic 610 $a consequence relations 610 $a infinitary logics 610 $a completeness properties 700 -1
$3 cav_un_auth*0332685 $a Lávička $b Tomáš $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $p UIVT-O $w Department of Theoretical Computer Science $T Ústav informatiky AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0293476 $i Matematická teorie rozhodování $j Department of Decision Making Theory $k MTR $l MTR $w Department of Decision Making Theory $4 070 $a Noguera $b Carles $p UTIA-B $z K $T Ústav teorie informace a automatizace AV ČR, v. v. i. 856 $u http://library.utia.cas.cz/separaty/2017/MTR/noguera-0469118.pdf
Number of the records: 1