Publication details

Konstrukce a důkazy

Title in English Constructions and Proofs
Authors

PEZLAR Ivo

Year of publication 2013
Type Appeared in Conference without Proceedings
MU Faculty or unit

Faculty of Arts

Citation
Description In this paper we examine the concept of construction that surfaced in the modern history of logic, especially in connection with intuitionistic logic. Furthermore, the link between constructions and proofs will be spelled out utilizing two distinction notions: construction-as-object and construction-as-procedure.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.

More info