Recommendations
Cites work
- scientific article; zbMATH DE number 627412 (Why is no real title available?)
- scientific article; zbMATH DE number 976360 (Why is no real title available?)
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
- CERES in higher-order logic
- CERES: An analysis of Fürstenberg's proof of the infinity of primes
- Computer Science Logic
- Cut Elimination for First Order Gödel Logic by Hyperclause Resolution
- Cut-elimination and proof schemata
- Cut-elimination and redundancy-elimination by resolution
- Cut-elimination: syntax and semantics
- Linear algebra and geometry. Translated from the Russian by David Kramer and Lena Nekludova
- Logic for Programming, Artificial Intelligence, and Reasoning
- Logic for Programming, Artificial Intelligence, and Reasoning
- Lower Bounds on Herbrand's Theorem
- Methods of cut-elimination
- Towards CERes in intuitionistic logic
Cited in
(3)
This page was built for publication: Ceres in intuitionistic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2363201)