Number of the records: 1
A Note on Paradoxical Propositions from an Inferential Point of View
- 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
Number of the records: 1