PUBLICATIONS DE L'INSTITUT MATHÉMATIQUE (BEOGRAD) (N.S.)
Vol. 47(61), pp. 13--23 (1990)
MODAL TRANSLATIONS OF HEYTING AND PEANO ARITHMETIC
Kosta DosenMatematicki 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