- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
A Negationless Interpretation of Intuitionistic Theories. II
Studia Logica 65 (2):155-179 (2000)
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.My notes
Similar books and articles
A negationless interpretation of intuitionistic theories. II.Victor N. Krivtsov - 2000 - Studia Logica 65 (1-2):155-179.
A Negationless Interpretation of Intuitionistic Theories. I.Victor N. Krivtsov - 2000 - Studia Logica 64 (3):323-344.
A negationless interpretation of intuitionistic theories. I.Victor N. Krivtsov - 2000 - Studia Logica 64 (1-2):323-344.
Finite sets and natural numbers in intuitionistic TT without extensionality.Daniel Dzierzgowski - 1998 - Studia Logica 61 (3):417-428.
A negationless interpretation of intuitionistic theories.Victor N. Krivtsov - 2000 - Erkenntnis 53 (1-2):155-179.
A Negationless Interpretation Of Intuitionistic Theories.Victor N. Krivtsov - 2000 - Erkenntnis 53 (1-2):155-172.
On expandability of models of Peano arithmetic. II.Roman Murawski - 1976 - Studia Logica 35 (4):421-431.
RETRACTED ARTICLE: There are Infinitely Many Mersenne Prime Numbers. Applications of Rasiowa–Sikorski Lemma in Arithmetic (II).Janusz Czelakowski - 2023 - Studia Logica 111 (2):359-359.
Analytics
Added to PP
2016-02-17
Downloads
4 (#1,013,551)
6 months
1 (#1,912,481)
2016-02-17
Downloads
4 (#1,013,551)
6 months
1 (#1,912,481)
Historical graph of downloads
Citations of this work
Anti-Realism and Anti-Revisionism in Wittgenstein’s Philosophy of Mathematics.Anderson Nakano - 2020 - Grazer Philosophische Studien 97 (3):451-474.
References found in this work
The Foundations of Mathematics.Charles Parsons & Evert W. Beth - 1961 - Philosophical Review 70 (4):553.
Sur la négation (Dans les mathématiques et la logique).G. F. C. Griss - 1948 - Synthese 7 (1):71 - 74.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-6mvtb uwo