Pages that link to "Item:Q4650284"
From MaRDI portal
The following pages link to A short proof of the strong normalization of classical natural deduction with disjunction (Q4650284):
Displaying 10 items.
- Strong normalization results by translation (Q636353) (← links)
- A semantical proof of the strong normalization theorem for full propositional classical natural deduction (Q818927) (← links)
- Strong normalization proofs by CPS-translations (Q845711) (← links)
- Non-strictly positive fixed points for classical natural deduction (Q1772778) (← links)
- Intrinsic reasoning about functional programs. II: Unipolar induction and primitive-recursion (Q1827398) (← links)
- Strong normalization of classical natural deduction with disjunctions (Q2482841) (← links)
- A simple proof of second-order strong normalization with permutative conversions (Q2566069) (← links)
- Contraction-free Proofs and Finitary Games for Linear Logic (Q2805162) (← links)
- A short proof of the strong normalization of classical natural deduction with disjunction (Q4650284) (← links)
- (Q5111320) (← links)
