Modal Translations of Heyting and Peano Arithmetic
Publications de l'Institut Mathématique (1990)
- Volume: 47(61), Issue: 67, page 13-23
- ISSN: 0350-1302
Access Full Article
top
How to cite
topKosta Došen. "Modal Translations of Heyting and Peano Arithmetic." Publications de l'Institut Mathématique 47(61).67 (1990): 13-23. <http://eudml.org/doc/257866>.
@article{KostaDošen1990,
author = {Kosta Došen},
journal = {Publications de l'Institut Mathématique},
keywords = {intuitionism; Heyting arithmetic; modal translation; normal modal system S4; extensions of Peano arithmetic; provability},
language = {eng},
number = {67},
pages = {13-23},
publisher = {Matematički institut SANU},
title = {Modal Translations of Heyting and Peano Arithmetic},
url = {http://eudml.org/doc/257866},
volume = {47(61)},
year = {1990},
}
TY - JOUR
AU - Kosta Došen
TI - Modal Translations of Heyting and Peano Arithmetic
JO - Publications de l'Institut Mathématique
PY - 1990
PB - Matematički institut SANU
VL - 47(61)
IS - 67
SP - 13
EP - 23
LA - eng
KW - intuitionism; Heyting arithmetic; modal translation; normal modal system S4; extensions of Peano arithmetic; provability
UR - http://eudml.org/doc/257866
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.