EMIS ELibM Electronic Journals PUBLICATIONS DE L'INSTITUT MATHÉMATIQUE (BEOGRAD) (N.S.)
Vol. 47(61), pp. 13--23 (1990)

Previous Article

Next Article

Contents of this Issue

Other Issues

ELibM Journals

ELibM Home

EMIS Home

 		 

MODAL TRANSLATIONS OF HEYTING AND PEANO ARITHMETIC

Kosta Dosen

Matematicki institut SANU, Beograd, Yugoslavia

Abstract: First-order Heyting arithmetic is embedded by various modal translations in modal extensions of first-order Peano arithmetic which are included in Peano S4. Peano arithmetic is embedded by analogous modal translations in an S5-like extension of Heyting arithmetic. This last system is included in the modal extension of Heyting arithmetic where the necessity operator is equivalent to double negation and where Peano arithmetic can be embedded by a modal translation which amounts to a usual double-negation translation.

Keywords: Heyting arithmetic, Peano arithmetic, modal translations, double-negation translation

Classification (MSC2000): 03B45, 03F30, 03F55, 03F25

Full text of the article:

Electronic fulltext finalized on: 2 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