Počet záznamů: 1
Composition of Deductions within the Propositions-As-Types Paradigm
- 1.
SYSNO ASEP 0535279 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS Název Composition of Deductions within the Propositions-As-Types Paradigm Tvůrce(i) Pezlar, Ivo (FLU-F) ORCID, RID, SAI Zdroj.dok. Logica Universalis. - : Springer - ISSN 1661-8297
Roč. 14, č. 4 (2020), s. 481-493Poč.str. 13 s. Forma vydání Tištěná - P Jazyk dok. eng - angličtina Země vyd. CH - Švýcarsko Klíč. slova General proof theory ; propositions as types ; Curry–Howard isomorphism ; constructive type theory ; categorial proof theory ; Cut rule ; composition of deduction Vědní obor RIV AA - Filosofie a náboženství Obor OECD Philosophy, History and Philosophy of science and technology CEP GA19-12420S GA ČR - Grantová agentura ČR Způsob publikování Omezený přístup Institucionální podpora FLU-F - RVO:67985955 UT WOS 000565490700001 EID SCOPUS 85090186027 DOI 10.1007/s11787-020-00260-3 Anotace Kosta Došen argued in his papers Inferential Semantics (in Wansing, H. (ed.) Dag Prawitz on Proofs and Meaning, pp. 147–162. Springer, Berlin 2015) and On the Paths of Categories (in Piecha, T., Schroeder-Heister, P. (eds.) Advances in Proof-Theoretic Semantics, pp. 65–77. Springer, Cham 2016) that the propositions-as-types paradigm is less suited for general proof theory because-unlike proof theory based on category theory-it emphasizes categorical proofs over hypothetical inferences. One specific instance of this, Došen points out, is that the Curry-Howard isomorphism makes the associativity of deduction composition invisible. We will show that this is not necessarily the case. Pracoviště Filosofický ústav Kontakt Chlumská Simona, chlumska@flu.cas.cz ; Tichá Zuzana, asep@flu.cas.cz Tel: 221 183 360 Rok sběru 2021 Elektronická adresa https://doi.org/10.1007/s11787-020-00260-3
Počet záznamů: 1