A negationless interpretation of intuitionistic theories. I

Erkenntnis 64 (1-2):323-344 (2000)

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 intuitionism  negationless intuitionistic mathematics  arithmetic  analysis  translatability
Categories (categorize this paper)
DOI 10.1023/A:1005233526469
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 39,626
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Notes on Constructive Negation.Grigori Mints - 2006 - Synthese 148 (3):701-717.

Add more citations

Similar books and articles


Added to PP index

Total views
18 ( #419,428 of 2,325,929 )

Recent downloads (6 months)
2 ( #708,999 of 2,325,929 )

How can I increase my downloads?


My notes

Sign in to use this feature