Some Weak Fragments of HA and Certain Closure Properties

14 years 4 days 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)