Košík

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