Open Induction

Mizuhito Ogawa and Christian Sternagel

The Archive of Formal Proofs, 2012.


A proof of the open induction schema based on J.-C. Raoult, Proving open properties by induction, Information Processing Letters 29, 1988, pp.19-23.


  AFP entry


author = "Mizuhito Ogawa and Christian Sternagel",
title = "Open Induction",
booktitle = "The Archive of Formal Proofs",
editor = "Gerwin Klein and Tobias Nipkow and Lawrence Paulson",
publisher = "\url{}",
year = 2012,
month = nov,
note = "Formal proof development"
ISSN = "2150-914x",
Nach oben scrollen