The following pages link to Methods of cut-elimination (Q609451):
Displaying 24 items.
- Extraction of expansion trees (Q670704) (← links)
- Don't eliminate cut (Q1057847) (← links)
- First-order interpolation derived from propositional interpolation (Q2193292) (← links)
- Simulating strong practical proof systems with extended resolution (Q2209554) (← links)
- Hybrid-logical reasoning in the Smarties and Sally-Anne tasks (Q2258816) (← links)
- Cut-elimination: syntax and semantics (Q2259012) (← links)
- On interpolation in automated theorem proving (Q2352502) (← links)
- Ceres in intuitionistic logic (Q2363201) (← links)
- Schematic refutations of formula schemata (Q2666952) (← links)
- Craig interpolation with clausal first-order tableaux (Q2666953) (← links)
- Schematic Cut Elimination and the Ordered Pigeonhole Principle (Q2817924) (← links)
- On the convergence of reduction-based and model-based methods in proof theory (Q2866742) (← links)
- Reducing redundancy in cut-elimination by resolution (Q2987066) (← links)
- Cutting Out Continuations (Q3188285) (← links)
- (Q4489070) (← links)
- THE ELIMINATION OF ATOMIC CUTS AND THE SEMISHORTENING PROPERTY FOR GENTZEN’S SEQUENT CALCULUS WITH EQUALITY (Q5027662) (← links)
- (Q5098254) (← links)
- PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS (Q5216971) (← links)
- Complexity of translations from resolution to sequent calculus (Q5236549) (← links)
- Cut Elimination In Situ (Q5361251) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705916) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705944) (← links)
- OUP accepted manuscript (Q5894700) (← links)
- The logicality of equality (Q6612870) (← links)
