A negationless interpretation of intuitionistic theories
Erkenntnis 53 (1-2):155-179 (2000)
| Abstract | In a seriesof papers beginning in 1944, the Dutch mathematician and philosopherGeorge Francois Cornelis Griss proposed that constructivemathematics should be developedwithout the use of the intuitionistic negation1 and,moreover, without any use of a nullpredicate.In the present work, we give formalized versions of intuitionisticarithmetic, analysis,and higher-order arithmetic in the spirit ofGriss' ``negationless intuitionistic mathematics''and then consider their relation to thecurrent formalizations of thesetheories. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesPaulo Oliva (2008). An Analysis of Gödel's Dialectica Interpretation Via Linear Logic. Dialectica 62 (2):269–290.
Sergei Tupailo (2001). Realization of Analysis Into Explicit Mathematics. Journal of Symbolic Logic 66 (4):1848-1864.
Neil Tennant (1994). Intuitionistic Mathematics Does Not Needex Falso Quodlibet. Topoi 13 (2):127-133.
Paul C. Gilmore (1953). The Effect of Griss's Criticism of the Intuitionistic Logic on Deducative Theories Formalized Within the Intuitionistic Logic. Amsterdam, Drukkerij Holland.
Grigori Mints (2006). Notes on Constructive Negation. Synthese 148 (3):701 - 717.
Stefano Berardi (1999). Intuitionistic Completeness for First Order Classical Logic. Journal of Symbolic Logic 64 (1):304-312.
A. Heyting (1955). G. F. C. Griss and His Negationless Intuitionistic Mathematics. Synthese 9 (1):91 - 96.
Enrico Martino (1998). Negationless Intuitionism. Journal of Philosophical Logic 27 (2):165-177.
Victor N. Krivtsov (2000). A Negationless Interpretation of Intuitionistic Theories. II. Studia Logica 65 (2):155-179.
Victor N. Krivtsov (2000). A Negationless Interpretation of Intuitionistic Theories. I. Studia Logica 64 (3):323-344.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads3 ( #202,008 of 549,122 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
