Revisions - MathOverflow

Return to Answer

added 2 characters in body

view source

edited Jun 23 at 21:16

James Brotherston and Alex Simpson worked on non-well-founded proofs, see

J. Brotherston and A. Simpson: Sequent calculi for induction and infinite descent. J Logic Computation (2010)

as well as the talk "On Proof by Innite Infinite Descent" by Alex Simpson at "Algebra & Coalgebra meet Proof Theory" in Bern, April 2012.

view source

answered Jun 23 at 21:05

Andrej Bauer
12.5k●27●69

James Brotherston and Alex Simpson worked on non-well-founded proofs, see

J. Brotherston and A. Simpson: Sequent calculi for induction and infinite descent. J Logic Computation (2010)

as well as the talk "On Proof by Innite Descent" by Alex Simpson at "Algebra & Coalgebra meet Proof Theory" in Bern, April 2012.