A Note on Paradoxical Propositions from an Inferential Point of View

Number of the records: 1

1.

SYSNO	0546974
Title	A Note on Paradoxical Propositions from an Inferential Point of View
Author(s)	Pezlar, Ivo (FLU-F)_{ORCID, RID, SAI}
Source Title	The Logica Yearbook 2020. S. 183-199. - London : College Publications, 2021 / Blicha M. ; Sedlár I.
Conference	Logica 2020, 15.06.2020 - 19.06.2020, Hejnice
Document Type	Konferenční příspěvek (zahraniční konf.)
Grant	GA19-12420S GA ČR - Czech Science Foundation (CSF), CZ - Czech Republic
Institutional support	FLU-F - RVO:67985955
Language	eng
Country	GB
Keywords	proof-theoretic semantics * constructive type theory * paradox * inductive definitions * Martin-Löf
Permanent Link	http://hdl.handle.net/11104/0323342

Number of the records: 1