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 15 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)
- A strong normalization result for classical logic (Q1902976) (← links)
- A normalization-procedure for the first order classical natural deduction with full logical symbols (Q1904467) (← links)
- Strong normalization of classical natural deduction with disjunctions (Q2482841) (← links)
- A simple proof of second-order strong normalization with permutative conversions (Q2566069) (← links)
- Strong normalisation of cut-elimination in classical logic (Q2708321) (← links)
- Contraction-free proofs and finitary games for linear logic (Q2805162) (← links)
- Some properties of the -calculus (Q4583170) (← links)
- A short proof of the strong normalization of classical natural deduction with disjunction (Q4650284) (← links)
- Types as resources for classical natural deduction (Q5111320) (← links)
- (Q5208874) (← links)
