Search results
- 1.0546974 - FLÚ 2022 RIV GB eng C - Conference Paper (international conference)
Pezlar, Ivo
A Note on Paradoxical Propositions from an Inferential Point of View.
The Logica Yearbook 2020. London: College Publications, 2021 - (Blicha, M.; Sedlár, I.), s. 183-199. ISBN 978-1-84890-376-0.
[Logica 2020. Hejnice (CZ), 15.06.2020-19.06.2020]
R&D Projects: GA ČR(CZ) GA19-12420S
Institutional support: RVO:67985955
Keywords : proof-theoretic semantics * constructive type theory * paradox * inductive definitions * Martin-Löf
OECD category: Philosophy, History and Philosophy of science and technology
Permanent Link: http://hdl.handle.net/11104/0323342 - 2.0546967 - FLÚ 2022 DE eng C - Conference Paper (international conference)
Pezlar, Ivo
The Placeholder View of Assumptions and the Curry–Howard Correspondence (Extended Abstract).
Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings. Cham: Springer, 2021 - (Baroni, P.; Benzmüller, C.; Wáng, Y.), s. 513-520. Lecture Notes in Artificial Intelligence, 13040. ISBN 978-3-030-89390-3.
[CLAR 2021: International Conference on Logic and Argumentation /4./. online (CN), 20.10.2021-22.10.2021]
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
https://doi.org/10.1007/978-3-030-89391-0_31
Permanent Link: http://hdl.handle.net/11104/0323339 - 3.0546956 - FLÚ 2022 RIV DE eng C - Conference Paper (international conference)
Pezlar, Ivo
Meaning and Computing: Two Approaches to Computable Propositions.
Logic, Language, Information, and Computation. Cham: Springer, 2021 - (Silva, A.; Wassermann, R.; de Queiroz, R.), s. 100-116. Lecture Notes in Computer Science, 13038. ISBN 978-3-030-88852-7; ISBN 978-3-030-88853-4.
[WoLLIC 2021. Workshop on Logic, Language, Information, and Computation /27./. online (NL), 05.10.2021-08.10.2021]
R&D Projects: GA ČR(CZ) GA19-12420S
Institutional support: RVO:67985955
Keywords : computable proposition * sense–denotation distinction * algorithmic theory of meaning * procedural semantics * constructive type theory * transparent intensional logic
OECD category: Philosophy, History and Philosophy of science and technology
https://doi.org/10.1007/978-3-030-88853-4_7
Permanent Link: http://hdl.handle.net/11104/0323337 - 4.0508538 - FLÚ 2020 RIV GB eng C - Conference Paper (international conference)
Pezlar, Ivo
Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions.
The Logica Yearbook 2018. London: College Publications, 2019 - (Sedlár, I.; Blicha, M.), s. 197-210. ISBN 978-1-84890-307-4.
[Logica 2018. Hejnice (CZ), 18.06.2018-22.06.2018]
R&D Projects: GA ČR(CZ) GJ17-18344Y
Institutional support: RVO:67985955
Keywords : Transparent Intensional Logic * procedural semantics * logic of problems * procedural isomorphism
OECD category: Philosophy, History and Philosophy of science and technology
Permanent Link: http://hdl.handle.net/11104/0299549 - 5.0508521 - FLÚ 2020 RIV US eng C - Conference Paper (international conference)
Pezlar, Ivo
Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory.
IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures: Proceedings of the Workshop. Stroudsburg (PA): Association for Computational Linguistics, 2019 - (Osswald, R.; Retoré, C.; Sutton, P.), s. 10-18. ISBN 978-1-950737-25-3.
[Workshop on Computing Semantics with Types, Frames and Related Structures. Gothenburg (SE), 23.05.2019-27.05.2019]
R&D Projects: GA ČR(CZ) GA19-12420S
Institutional support: RVO:67985955
Keywords : proof theoretic semantics * modern type theory * natural language semantics
OECD category: Linguistics
https://www.aclweb.org/anthology/W19-1002/
Permanent Link: http://hdl.handle.net/11104/0299547