Similar Items: Derivation Lengths Classification of Gödel's T Extending Howard's Assignment
- Towards a Proof Theory of Gödel Modal Logics
- A Curry-Howard Approach to Church's Synthesis
- Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability
- A Curry-Howard Correspondence for Linear, Reversible Computation
- On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC
- From Gödel incompleteness to the consistency of circuit lower bounds