Search results
- 1.0562181 - FLÚ 2024 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GA19-12420S
Institutional support: RVO:67985955
Keywords : notional attitudes * polymorphism * type theory * transparent intensional logic
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 0.8, year: 2022
Method of publishing: Limited access
https://doi.org/10.1007/s10849-022-09383-w
Permanent Link: https://hdl.handle.net/11104/0343099 - 2.0546332 - FLÚ 2022 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GA19-12420S
Institutional support: RVO:67985955
Keywords : Placeholder view of assumptions * Assumption withdrawing * Curry-Howard correspondence * Natural deduction * Intuitionistic propositional logic
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 1.595, year: 2021
Method of publishing: Limited access
https://doi.org/10.1007/s11229-020-02706-z
Permanent Link: http://hdl.handle.net/11104/0322869 - 3.0535279 - FLÚ 2021 RIV CH eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GA19-12420S
Institutional support: RVO:67985955
Keywords : General proof theory * propositions as types * Curry–Howard isomorphism * constructive type theory * categorial proof theory * Cut rule * composition of deduction
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 0.385, year: 2020
Method of publishing: Limited access
https://doi.org/10.1007/s11787-020-00260-3
Permanent Link: http://hdl.handle.net/11104/0313350 - 4.0504567 - FLÚ 2020 RIV NL eng J - Journal Article
Pezlar, Ivo
On Two Notions of Computation in Transparent Intensional Logic.
Axiomathes. Roč. 29, č. 2 (2019), s. 189-205. ISSN 1122-1151
R&D Projects: GA ČR(CZ) GJ17-18344Y
Institutional support: RVO:67985955
Keywords : Transparent intensional logic * Procedural semantics * Lambda calculus * Term rewriting * Term interpretation
OECD category: Philosophy, History and Philosophy of science and technology
Method of publishing: Limited access
https://link.springer.com/article/10.1007%2Fs10516-018-9401-7
Permanent Link: http://hdl.handle.net/11104/0296171