The following pages link to (Q5015364):
Displaying 6 items.
- A direct proof of strong normalization for full constructive second-order logic (Q1769440) (← links)
- Proofs of strong normalisation for second order classical natural deduction (Q4382485) (← links)
- A short proof of the strong normalization of classical natural deduction with disjunction (Q4650284) (← links)
- (Q4938597) (← links)
- (Q4939407) (← links)
- Classical Logic with Mendler Induction (Q5283417) (← links)