Vytisknout
0535279 - FLÚ 2021 RIV CH eng J - Článek v odborném periodiku
Pezlar, Ivo
Composition of Deductions within the Propositions-As-Types Paradigm.
Logica Universalis. Roč. 14, č. 4 (2020), s. 481-493. ISSN 1661-8297. E-ISSN 1661-8300
Grant CEP: GA ČR(CZ) GA19-12420S
Institucionální podpora: RVO:67985955
Klíčová slova: General proof theory * propositions as types * Curry–Howard isomorphism * constructive type theory * categorial proof theory * Cut rule * composition of deduction
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.385, rok: 2020
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s11787-020-00260-3
Trvalý link: http://hdl.handle.net/11104/0313350
Pezlar, Ivo
Composition of Deductions within the Propositions-As-Types Paradigm.
Logica Universalis. Roč. 14, č. 4 (2020), s. 481-493. ISSN 1661-8297. E-ISSN 1661-8300
Grant CEP: GA ČR(CZ) GA19-12420S
Institucionální podpora: RVO:67985955
Klíčová slova: General proof theory * propositions as types * Curry–Howard isomorphism * constructive type theory * categorial proof theory * Cut rule * composition of deduction
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.385, rok: 2020
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s11787-020-00260-3
Trvalý link: http://hdl.handle.net/11104/0313350