Pages that link to "Item:Q3781073"

The following pages link to On the proof theory of the intermediate logic MH (Q3781073):

Displayed 8 items.

• Normalization and excluded middle. I (Q583185) ‎ (← links)
• A new normalization strategy for the implicational fragment of classical propositional logic (Q708929) ‎ (← links)
• Intrinsic reasoning about functional programs. II: Unipolar induction and primitive-recursion (Q1827398) ‎ (← links)
• 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 (Q2732529) ‎ (← links)
• SUBFORMULA AND SEPARATION PROPERTIES IN NATURAL DEDUCTION VIA SMALL KRIPKE MODELS (Q3577741) ‎ (← links)
• 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) ‎ (← links)
• Normalization theorems for full first order classical natural deduction (Q3981450) ‎ (← links)
• A short proof of the strong normalization of classical natural deduction with disjunction (Q4650284) ‎ (← links)