Pages that link to "Item:Q5927981"
From MaRDI portal
The following pages link to Cut-elimination and redundancy-elimination by resolution (Q5927981):
Displaying 26 items.
- Extraction of expansion trees (Q670704) (← links)
- CERES in higher-order logic (Q716500) (← links)
- Corrected upper bounds for free-cut elimination (Q719283) (← links)
- CERES: An analysis of Fürstenberg's proof of the infinity of primes (Q944367) (← links)
- On the form of witness terms (Q982183) (← links)
- Describing proofs by short tautologies (Q1023053) (← links)
- Herbrand's theorem as higher order recursion (Q1987218) (← links)
- Cut-elimination: syntax and semantics (Q2259012) (← links)
- Book review of: Matthias Baaz and Alexander Leitsch, Methods of cut-elimination (Q2350976) (← links)
- Ceres in intuitionistic logic (Q2363201) (← links)
- Towards a clausal analysis of cut-elimination (Q2457341) (← links)
- Sufficient conditions for cut elimination with complexity analysis (Q2461191) (← links)
- Herbrand's theorem and term induction (Q2491080) (← links)
- Schematic refutations of formula schemata (Q2666952) (← links)
- Schematic Cut Elimination and the Ordered Pigeonhole Principle (Q2817924) (← links)
- System Description: GAPT 2.0 (Q2817928) (← links)
- On the complexity of proof deskolemization (Q2892685) (← links)
- (Q3384900) (← links)
- Cut-Elimination and Proof Schemata (Q3455184) (← links)
- A Clausal Approach to Proof Analysis in Second-Order Logic (Q3605531) (← links)
- CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI (Q5024505) (← links)
- Expansion trees with cut (Q5236547) (← links)
- Proof Transformations and Structural Invariance (Q5426006) (← links)
- Towards an algorithmic construction of cut-elimination procedures (Q5458060) (← links)
- Herbrand Sequent Extraction (Q5505525) (← links)
- System Description: The Proof Transformation System CERES (Q5747781) (← links)