Pages that link to "Item:Q2457341"
From MaRDI portal
The following pages link to Towards a clausal analysis of cut-elimination (Q2457341):
Displaying 9 items.
- 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)
- Physics and proof theory (Q2249005) (← links)
- Cut-elimination: syntax and semantics (Q2259012) (← 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)
- System Description: The Proof Transformation System CERES (Q5747781) (← links)
