Počet záznamů: 1
The placeholder view of assumptions and the Curry–Howard correspondence
- 1.0546332 - FLÚ 2022 RIV NL eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR(CZ) GA19-12420S
Institucionální podpora: RVO:67985955
Klíčová slova: Placeholder view of assumptions * Assumption withdrawing * Curry-Howard correspondence * Natural deduction * Intuitionistic propositional logic
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 1.595, rok: 2021
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s11229-020-02706-z
Trvalý link: http://hdl.handle.net/11104/0322869
Počet záznamů: 1