The following pages link to (Q4794047):
Displaying 7 items.
- Variable declarations in natural deduction (Q861825) (← links)
- Lambek Calculus in Natural Deduction (Q3520236) (← links)
- Strong cut-elimination in sequent calculus using Klop's <i>ι</i>-translation and perpetual reductions (Q3617369) (← links)
- 2-Sequent Calculus: Intuitionism and Natural Deduction (Q4286223) (← links)
- (Q4856946) (← links)
- Lambda terms for natural deduction, sequent calculus and cut elimination (Q4948037) (← links)
- (Q5076058) (← links)