Výsledky vyhledávání
- 1.0565576 - FLÚ 2023 RIV CZ eng E - Elektronický dokument
Klev, Ansten - Pezlar, Ivo
Per Martin-Löf. Transcriptions.
[online databáze]. - Prague: Filosofický ústav AV ČR, 2022, 3,5 MB
Grant ostatní: AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institucionální podpora: RVO:67985955
Klíčová slova: Per Martin-Löf * constructive type theory * intuitionistic type theory * philosophy * transcriptions
Obor OECD: Philosophy, History and Philosophy of science and technology
https://pml.flu.cas.cz/
Trvalý link: https://hdl.handle.net/11104/0339757 - 2.0546974 - FLÚ 2022 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR(CZ) GA19-12420S
Institucionální podpora: RVO:67985955
Klíčová slova: proof-theoretic semantics * constructive type theory * paradox * inductive definitions * Martin-Löf
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0323342 - 3.0546956 - FLÚ 2022 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR(CZ) GA19-12420S
Institucionální podpora: RVO:67985955
Klíčová slova: computable proposition * sense–denotation distinction * algorithmic theory of meaning * procedural semantics * constructive type theory * transparent intensional logic
Obor OECD: Philosophy, History and Philosophy of science and technology
https://doi.org/10.1007/978-3-030-88853-4_7
Trvalý link: http://hdl.handle.net/11104/0323337 - 4.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 - 5.0493009 - FLÚ 2019 RIV CH eng B - Monografie kniha jako celek
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
Institucionální podpora: RVO:67985955
Klíčová slova: Constructive Type Theory * Dialogical Logic * Argumentation and Logic * Lorenzen's Games * Logic and Logic * Philosophy of Logic * Philosophy of Mathematics * Logic and Interaction
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0286528