The placeholder view of assumptions and the Curry-Howard correspondence (extended abstract)

DOI10.1007/978-3-030-89391-0_31OpenAlexW3207731525MaRDI QIDQ2695540

Ivo Pezlar

Publication date: 31 March 2023

Full work available at URL: https://doi.org/10.1007/978-3-030-89391-0_31

zbMATH Keywords

natural deductionintuitionistic propositional logicCurry-Howard correspondenceassumption withdrawingplaceholder view of assumptions

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
• Advances in proof-theoretic semantics
• Lectures on the Curry-Howard isomorphism
• Towards a more general concept of inference
• Gentzen's Proof Systems: Byproducts in a Work of Genius
• A natural extension of natural deduction
• A Comparison of Type Theory with Set Theory

This page was built for publication: The placeholder view of assumptions and the Curry-Howard correspondence (extended abstract)