Počet záznamů: 1

A Note on Paradoxical Propositions from an Inferential Point of View

SYSNO	0546974
Název	A Note on Paradoxical Propositions from an Inferential Point of View
Tvůrce(i)	Pezlar, Ivo (FLU-F)_{ORCID, RID, SAI}
Zdroj.dok.	The Logica Yearbook 2020. S. 183-199. - London : College Publications, 2021 / Blicha M. ; Sedlár I.
Konference	Logica 2020, 15.06.2020 - 19.06.2020, Hejnice
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Grant	GA19-12420S GA ČR - Grantová agentura ČR, CZ - Česká republika
Institucionální podpora	FLU-F - RVO:67985955
Jazyk dok.	eng
Země vyd.	GB
Klíč.slova	proof-theoretic semantics * constructive type theory * paradox * inductive definitions * Martin-Löf
Trvalý link	http://hdl.handle.net/11104/0323342

Počet záznamů: 1