Search results
- 1.0565576 - FLÚ 2023 RIV CZ eng E - Electronic Document
Klev, Ansten - Pezlar, Ivo
Per Martin-Löf. Transcriptions.
[online databáze]. - Prague: Filosofický ústav AV ČR, 2022, 3,5 MB
Grant - others:AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institutional support: RVO:67985955
Keywords : Per Martin-Löf * constructive type theory * intuitionistic type theory * philosophy * transcriptions
OECD category: Philosophy, History and Philosophy of science and technology
https://pml.flu.cas.cz/
Permanent Link: https://hdl.handle.net/11104/0339757 - 2.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 - 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.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 - 5.0493009 - FLÚ 2019 RIV CH eng B - Monography
Rahman, S. - McConaughey, Z. - Klev, Ansten - Clerbout, N.
Immanent Reasoning or Equality in Action: A Plaidoyer for the Play Level.
Cham: Springer International Publishing, 2018. 332 s. Logic, Argumentation & Reasoning. Interdisciplinary Perspectives from the Humanities and Social Sciences, 18. ISBN 978-3-319-91148-9. ISSN 2214-9120
Institutional support: RVO:67985955
Keywords : Constructive Type Theory * Dialogical Logic * Argumentation and Logic * Lorenzen's Games * Logic and Logic * Philosophy of Logic * Philosophy of Mathematics * Logic and Interaction
OECD category: Philosophy, History and Philosophy of science and technology
Permanent Link: http://hdl.handle.net/11104/0286528