EMIS ELibM Electronic Journals PUBLICATIONS DE L'INSTITUT MATHÉMATIQUE (BEOGRAD) (N.S.)
Vol. 36(50), pp. 3--7 (1984)

Next Article

Contents of this Issue

Other Issues

ELibM Journals

ELibM Home

EMIS Home

 		 

KRIPKE MODELS FOR INTUITIONISTIC THEORIES WITH DECIDABLE ATOMIC FORMULAS

Zoran Markovi\'c

Abstract: Some intuitionistic theories, notably Heyting's Arithmetic, have decidable atomic formulas. We show that in Kripke models of such theories, classical structures at the nodes of a Kripke model satisfy a significant fragment of corresponding theories. In particular, all consequences which are in prenex normal form hold classically.

Classification (MSC2000): 03B50, 03C40

Full text of the article:

Electronic fulltext finalized on: 3 Nov 2001. This page was last modified: 16 Nov 2001.

© 2001 Mathematical Institute of the Serbian Academy of Science and Arts
© 2001 ELibM for the EMIS Electronic Edition