The Placeholder View of Assumptions and the Curry–Howard Correspondence (Extended Abstract)

Number of the records: 1

1.

SYSNO	0546967
Title	The Placeholder View of Assumptions and the Curry–Howard Correspondence (Extended Abstract)
Author(s)	Pezlar, Ivo (FLU-F)_{ORCID, RID, SAI}
Source Title	Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings. S. 513-520. - Cham : Springer, 2021 / Baroni Pietro ; Benzmüller Christoph ; Wáng Yὶ N.
Conference	CLAR 2021: International Conference on Logic and Argumentation /4./, 20.10.2021 - 22.10.2021, online
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	DE
Keywords	Placeholder view of assumptions * Assumption withdrawing * Curry–Howard correspondence * Natural deduction * Intuitionistic propositional logic
URL	https://doi.org/10.1007/978-3-030-89391-0_31
Permanent Link	http://hdl.handle.net/11104/0323339

Number of the records: 1