Počet záznamů: 1
Structural Completeness and Superintuitionistic Inquisitive Logics
SYS 0575743 LBL 01000a^^22220027750^450 005 20240506100245.3 014 $a 85172728813 $2 SCOPUS 017 $a 10.1007/978-3-031-39784-4_12 $2 DOI 100 $a 20230922d m y slo 03 ba 101 $a eng $d eng 102 $a CH 200 1-
$a Structural Completeness and Superintuitionistic Inquisitive Logics 215 $a 17 s. $c P 463 -1
$1 001 cav_un_epca*0575742 $1 010 $a 978-3-031-39783-7 $1 200 1 $a Logic, Language, Information, and Computation $v S. 194-210 $1 210 $a Cham $c Springer $d 2023 $1 225 $a Lecture Notes in Computer Science $v 13923 $1 702 1 $a Hansen $b H.H. $4 340 $1 702 1 $a Scedrov $b A. $4 340 $1 702 1 $a de Queiroz $b R.J.G.B. $4 340 610 $a structural completeness 610 $a inquisitive logic 610 $a superintuitionistic logics 610 $a substitution 700 -1
$3 cav_un_auth*0450525 $a Ferguson $b Thomas $p FLU-F $i Oddělení logiky $j Department of Logic $4 070 $T Filosofický ústav AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0279906 $a Punčochář $b Vít $p FLU-F $i Oddělení logiky $j Department of Logic $w Department of Logic $y CZ $4 070 $T Filosofický ústav AV ČR, v. v. i. 856 $u https://doi.org/10.1007/978-3-031-39784-4_12 $9 RIV
Počet záznamů: 1