Basket

  1. 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
     
     

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.