Pages that link to "Item:Q2457341"
From MaRDI portal
The following pages link to Towards a clausal analysis of cut-elimination (Q2457341):
Displaying 15 items.
- Methods of cut-elimination (Q609451) (← links)
- Extraction of expansion trees (Q670704) (← links)
- Extension without cut (Q714731) (← links)
- CERES: An analysis of Fürstenberg's proof of the infinity of primes (Q944367) (← links)
- Cut elimination and automatic proof procedures (Q1183598) (← links)
- Physics and proof theory (Q2249005) (← links)
- Cut-elimination: syntax and semantics (Q2259012) (← links)
- A unifying principle for clause elimination in first-order logic (Q2405255) (← links)
- The role of quantifier alternations in cut elimination (Q2565988) (← links)
- Reducing redundancy in cut-elimination by resolution (Q2987066) (← links)
- Cut-Elimination and Proof Schemata (Q3455184) (← links)
- A Clausal Approach to Proof Analysis in Second-Order Logic (Q3605531) (← links)
- Proof Transformations and Structural Invariance (Q5426006) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705944) (← links)
- System Description: The Proof Transformation System CERES (Q5747781) (← links)