Abstract
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.
Mizuhito Ogawa and Christian Sternagel 📧
November 2, 2012
This research was supported by the Austrian Science Fund (FWF): J3202.