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.
Similar content being viewed by others
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Krivtsov, V.N. A Negationless Interpretation of Intuitionistic Theories. I. Studia Logica 64, 323–344 (2000). https://doi.org/10.1023/A:1005233526469
Issue Date:
DOI: https://doi.org/10.1023/A:1005233526469