Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

JSYML
2002

favoriteEmaildiscussreport

75views more JSYML 2002»

Some Weak Fragments of HA and Certain Closure Properties

13 years 4 months ago

Some Weak Fragments of HA and Certain Closure Properties

Download math.ipm.ac.ir

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

Real-time Traffic

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

claim paper

Related Content

» Linear Time Logics Around PSL Complexity Expressiveness and a Little Bit of Succinctness

» Transfer principles in nonstandard intuitionistic arithmetic

» Structural characterizations of schemamapping languages

Post Info
More Details (n/a)

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

Comments (0)