Number of the records: 1
A Note on Paradoxical Propositions from an Inferential Point of View
SYS 0546974 LBL 01000a^^22220027750^450 005 20231122150024.6 017 $2 DOI 100 $a 20211021d m y slo 03 ba 101 $a eng $d eng 102 $a GB 200 1-
$a A Note on Paradoxical Propositions from an Inferential Point of View 215 $a 17 s. $c P 300 $a Mezinárodní konference Logica 2020, Hejnice byla kvůli covid-19 zrušena. 463 -1
$1 001 cav_un_epca*0546973 $1 010 $a 978-1-84890-376-0 $1 200 1 $a The Logica Yearbook 2020 $v S. 183-199 $1 210 $a London $c College Publications $d 2021 $1 702 1 $a Blicha $b M. $4 340 $1 702 1 $a Sedlár $b I. $4 340 610 $a proof-theoretic semantics 610 $a constructive type theory 610 $a paradox 610 $a inductive definitions 610 $a Martin-Löf 700 -1
$3 cav_un_auth*0356824 $a Pezlar $b Ivo $p FLU-F $i Kabinet pro studium vědy, techniky a společnosti $j Centre for Science, Technology, and Society Studies $w Centre for Science, Technology, and Society Studies $y CZ $4 070 $T Filosofický ústav AV ČR, v. v. i.
Number of the records: 1