Publication details
Konstrukce a důkazy
Title in English | Constructions and Proofs |
---|---|
Authors | |
Year of publication | 2013 |
Type | Appeared in Conference without Proceedings |
MU Faculty or unit | |
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: |