Pages that link to "Item:Q3981450"
From MaRDI portal
The following pages link to Normalization theorems for full first order classical natural deduction (Q3981450):
Displayed 16 items.
- Peirce's rule in natural deduction. (Q1607223) (← links)
- Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons) (Q1693600) (← 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)
- Normality, non-contamination and logical depth in classical natural deduction (Q2307304) (← links)
- Full classical S5 in natural deduction with weak normalization (Q2478553) (← links)
- Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited (Q2631646) (← links)
- NORMAL DERIVABILITY IN CLASSICAL NATURAL DEDUCTION (Q2890694) (← links)
- Gentzen's Proof Systems: Byproducts in a Work of Genius (Q2915886) (← links)
- HARMONISING HARMONY (Q3195584) (← links)
- A new S4 classical modal logic in natural deduction (Q3410675) (← links)
- SUBFORMULA AND SEPARATION PROPERTIES IN NATURAL DEDUCTION VIA SMALL KRIPKE MODELS (Q3577741) (← links)
- Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization (Q3638277) (← links)
- A short proof of the strong normalization of classical natural deduction with disjunction (Q4650284) (← links)
- (Q5015364) (← links)
- CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI (Q5024505) (← links)