Výsledky vyhledávání
- 1.0562181 - FLÚ 2024 RIV NL eng J - Článek v odborném periodiku
Pezlar, Ivo
Type Polymorphism, Natural Language Semantics, and TIL.
Journal of Logic, Language, and Information. Roč. 32, č. 2 (2023), s. 275-295. ISSN 0925-8531. E-ISSN 1572-9583
Grant CEP: GA ČR(CZ) GA19-12420S
Institucionální podpora: RVO:67985955
Klíčová slova: notional attitudes * polymorphism * type theory * transparent intensional logic
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.8, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s10849-022-09383-w
Trvalý link: https://hdl.handle.net/11104/0343099 - 2.0546332 - FLÚ 2022 RIV NL eng J - Článek v odborném periodiku
Pezlar, Ivo
The placeholder view of assumptions and the Curry–Howard correspondence.
Synthese. Roč. 198, č. 11 (2021), s. 10109-10125. ISSN 0039-7857. E-ISSN 1573-0964
Grant CEP: GA ČR(CZ) GA19-12420S
Institucionální podpora: RVO:67985955
Klíčová slova: Placeholder view of assumptions * Assumption withdrawing * Curry-Howard correspondence * Natural deduction * Intuitionistic propositional logic
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 1.595, rok: 2021
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s11229-020-02706-z
Trvalý link: http://hdl.handle.net/11104/0322869 - 3.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 - 4.0504567 - FLÚ 2020 RIV NL eng J - Článek v odborném periodiku
Pezlar, Ivo
On Two Notions of Computation in Transparent Intensional Logic.
Axiomathes. Roč. 29, č. 2 (2019), s. 189-205. ISSN 1122-1151
Grant CEP: GA ČR(CZ) GJ17-18344Y
Institucionální podpora: RVO:67985955
Klíčová slova: Transparent intensional logic * Procedural semantics * Lambda calculus * Term rewriting * Term interpretation
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Omezený přístup
https://link.springer.com/article/10.1007%2Fs10516-018-9401-7
Trvalý link: http://hdl.handle.net/11104/0296171