The placeholder view of assumptions and the Curry-Howard correspondence

DOI10.1007/s11229-020-02706-zzbMath1525.03053OpenAlexW3033444683MaRDI QIDQ6066988

Ivo Pezlar

Publication date: 14 December 2023

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-020-02706-z

zbMATH Keywords

natural deductionintuitionistic propositional logicCurry-Howard correspondenceassumption withdrawingplaceholder view of assumptions

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• 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
• Untersuchungen über das logische Schliessen. I
• On the rules of suppositions in formal logic
• Towards a more general concept of inference
• Normality, non-contamination and logical depth in classical natural deduction
• Gentzen's Proof Systems: Byproducts in a Work of Genius
• A natural extension of natural deduction
• Extending the Curry-Howard interpretation to linear, relevant and other resource logics
• On the Paths of Categories
• Rewriting Techniques and Applications
• A Comparison of Type Theory with Set Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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