Number of the records: 1
Logic and Implication: An introduction to the General Algebraic Study of Non-classical Logics
SYS 0524930 LBL 01000a^^22220027750^450 005 20240103224136.1 010 $a 978-3-030-85674-8 017 $a 10.1007/978-3-030-85675-5 $2 DOI 100 $a 20200612d m y slo 03 ba 101 $a eng 102 $a CH 200 1-
$a Logic and Implication: An introduction to the General Algebraic Study of Non-classical Logics 210 $a Cham $c Springer $d 2021 215 $a 465 s. $c P 610 $a Non-Classical Logics 610 $a Algebraic Logic 610 $a Abstract Algebraic Logic 610 $a Completeness Theorems 610 $a Logical Matrices 610 $a Weakly Implicative Logics 610 $a Substructural Logics 610 $a Generalized Disjunctions 610 $a Semilinear Logics 610 $a First-Order Logics 700 -1
$3 cav_un_auth*0100737 $a Cintula $b Petr $p UIVT-O $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $w Department of Theoretical Computer Science $T Ústav informatiky AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0293476 $a Noguera $b Carles $p UTIA-B $i Matematická teorie rozhodování $j Department of Decision Making Theory $k MTR $l MTR $w Department of Decision Making Theory $T Ústav teorie informace a automatizace AV ČR, v. v. i. 856 $u https://link.springer.com/book/9783030856748 $9 RIV
Number of the records: 1