The following pages link to CERES in higher-order logic (Q716500):
Displaying 6 items.
- Extraction of expansion trees (Q670704) (← links)
- Cut-elimination: syntax and semantics (Q2259012) (← links)
- Ceres in intuitionistic logic (Q2363201) (← links)
- System Description: GAPT 2.0 (Q2817928) (← links)
- (Q3384900) (← links)
- A Clausal Approach to Proof Analysis in Second-Order Logic (Q3605531) (← links)