Pages that link to "Item:Q3781073"
From MaRDI portal
The following pages link to On the proof theory of the intermediate logic MH (Q3781073):
Displaying 14 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)
- Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited (Q2631646) (← links)
- 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 (Q2732529) (← links)
- Henkin’s Completeness Proof and Glivenko’s Theorem (Q3454815) (← 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)
- Peirce's Rule in a Full Natural Deduction System (Q5170286) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- On Constructive Fragments of Classical Logic (Q5213615) (← links)
- On the Structure of Natural Deduction Derivations for “Generally” (Q5251189) (← links)
