Pages that link to "Item:Q1400711"
From MaRDI portal
The following pages link to On the strong normalisation of intuitionistic natural deduction with permutation-conversions (Q1400711):
Displayed 4 items.
- Strong normalization proofs by CPS-translations (Q845711) (← links)
- Strong normalization of classical natural deduction with disjunctions (Q2482841) (← links)
- A simple proof of second-order strong normalization with permutative conversions (Q2566069) (← links)
- Natural deduction systems for Nelson's paraconsistent logic and its neighbors (Q3647236) (← links)