Similar Items: On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC
- A Curry-Howard Correspondence for Linear, Reversible Computation
- A Curry-Howard Approach to Church's Synthesis
- Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
- Herbrand-Confluence
- Improving legibility of natural deduction proofs is not trivial
- On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics