- Record: found
- Abstract: not found
- Book Chapter: not found
Classical System of Martin-Löf’s Inductive Definitions Is Not Equivalent to Cyclic Proof System
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references9
- Record: found
- Abstract: not found
- Article: not found
Sequent calculi for induction and infinite descent
A. Simpson, J. Brotherston (2011)
- Record: found
- Abstract: not found
- Article: not found
Accessible Independence Results for Peano Arithmetic
Laurie Kirby, Jeff Paris (1982)
- Record: found
- Abstract: not found
- Book Chapter: not found
Cyclic Proofs for First-Order Logic with Inductive Definitions
James Brotherston (2005)