A Negationless Interpretation of Intuitionistic Theories. I

Author: Krivtsov V.N.

Source: Studia Logica, Volume 64, Number 3, 2000 , pp. 323-344(22)

Publisher: Springer

Buy & download fulltext article:

Price: $47.00 plus tax (Refund Policy)

Abstract:

The present work contains an axiomatic treatment of some parts of the restricted version of intuitionistic mathematics advocated by G. F. C. Griss, also known as negationless intuitionistic mathematics.

Formal systems NPC, NA, and FIM^N for negationless predicate logic, arithmetic, and analysis are proposed. Our Theorem 4 in Section 2 asserts the translatability of Heyting's arithmetic HAinto NA. The result can in fact be extended to a large class of intuitionistic theories based on HAand their negationless counterparts. For instance, in Section 3 this is shown for Kleene's system of intuitionistic analysis FIMand our FIM^N.

Keywords: intuitionism; negationless intuitionistic mathematics; arithmetic; analysis; translatability

Language: English

Document Type: Regular paper

Affiliations: 1: Department of Mathematical Logic Faculty of Mechanics and Mathematics Moscow State University Vorob'evy Gory 119899 Moscow, Russia victor@lpcs.math.msu.ru

Publication date: 2000-01-01