Similar Items: Improving legibility of natural deduction proofs is not trivial
- Non-idempotent types for classical calculi in natural deduction style
- On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC
- Redundancy, Deduction Schemes, and Minimum-Size Bases for Association Rules
- A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains
- A Proof of Kamp's theorem
- Aspect-oriented linearizability proofs