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