The following pages link to Cut Elimination in ε‐Calculi (Q5896461):
Displaying 21 items.
- On the elimination of quantifier-free cuts (Q650922) (← links)
- Harmonising natural deduction (Q948984) (← links)
- Cut-elimination and interpolation for \(\Omega\)-logic (Q1114684) (← links)
- Some results on cut-elimination, provable well-orderings, induction and reflection (Q1295413) (← links)
- Cut-elimination for \(\omega_{1}\) (Q1799034) (← links)
- Towards a clausal analysis of cut-elimination (Q2457341) (← links)
- Sufficient conditions for cut elimination with complexity analysis (Q2461191) (← links)
- Cut elimination for a simple formulation of epsilon calculus (Q2478554) (← links)
- (Q2958526) (← links)
- (Q3384900) (← links)
- An Addition to “Cut Elimination in ε-Calculi” (Q3469101) (← links)
- (Q3800028) (← links)
- Cut Elimination in the Presence of Axioms (Q4254567) (← links)
- (Q4840168) (← links)
- Cut Elimination in a Class of Sequent Calculi for Pure Type Systems (Q4924532) (← links)
- Cut-Elimination for SBL (Q5013907) (← links)
- THE ELIMINATION OF ATOMIC CUTS AND THE SEMISHORTENING PROPERTY FOR GENTZEN’S SEQUENT CALCULUS WITH EQUALITY (Q5027662) (← links)
- A Semantic Proof that Reducibility Candidates entail Cut Elimination (Q5111901) (← links)
- Semantics and Proof Theory of the Epsilon Calculus (Q5224489) (← links)
- Cut Elimination in ε‐Calculi (Q5896367) (← links)
- Cut elimination for a calculus with context-dependent rules (Q5945008) (← links)
