Some Weak Fragments of HA and Certain Closure Properties

13 years 11 months ago

We show that Intuitionistic Open Induction iop is not closed under the rule DNS(1 ). This is established by constructing a Kripke model of iop+

Morteza Moniri, Mojtaba Moniri

Intuitionistic Open Induction | JSYML 2002 | Kripke Models | Open Induction Iop |

claim paper

Added	22 Dec 2010
Updated	22 Dec 2010
Type	Journal
Year	2002
Where	JSYML
Authors	Morteza Moniri, Mojtaba Moniri

Comments (0)