A Negationless Interpretation of Intuitionistic Theories. II |
| |
| Authors: | Krivtsov Victor N. |
| |
| Affiliation: | (1) Department of Mathematical Logic Faculty of Mechanics and Mathematics, Moscow State University Vorob'evy Gory, 119899 Moscow, Russia |
| |
| Abstract: | This work is a sequel to our [16]. It is shown how Theorem 4 of [16], dealing with the translatability of HA(Heyting's arithmetic) into negationless arithmetic NA, can be extended to the case of intuitionistic arithmetic in higher types. |
| |
| Keywords: | intuitionism negationless intuitionistic mathematics higher-order arithmetic translatability |
| 本文献已被 SpringerLink 等数据库收录！ |
