Number of the records: 1
The placeholder view of assumptions and the Curry–Howard correspondence
- 1.0546332 - FLÚ 2022 RIV NL eng J - Journal Article
Pezlar, Ivo
The placeholder view of assumptions and the Curry–Howard correspondence.
Synthese. Roč. 198, č. 11 (2021), s. 10109-10125. ISSN 0039-7857. E-ISSN 1573-0964
R&D Projects: GA ČR(CZ) GA19-12420S
Institutional support: RVO:67985955
Keywords : Placeholder view of assumptions * Assumption withdrawing * Curry-Howard correspondence * Natural deduction * Intuitionistic propositional logic
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 1.595, year: 2021
Method of publishing: Limited access
https://doi.org/10.1007/s11229-020-02706-z
Permanent Link: http://hdl.handle.net/11104/0322869
Number of the records: 1