Open Induction

Mizuhito Ogawa and Christian Sternagel 📧

November 2, 2012

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.


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.

This research was supported by the Austrian Science Fund (FWF): J3202.


BSD License


Session Open_Induction