Negationless Intuitionistic Mathematics

Journal of Symbolic Logic 12 (2):62-62 (1947)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267272

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,592

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A negationless interpretation of intuitionistic theories.Victor N. Krivtsov - 2000 - Erkenntnis 53 (1-2):155-179.
A negationless interpretation of intuitionistic theories. I.Victor N. Krivtsov - 2000 - Studia Logica 64 (1-2):323-344.
A negationless interpretation of intuitionistic theories. II.Victor N. Krivtsov - 2000 - Studia Logica 65 (1-2):155-179.
G. F. C. griss and his negationless intuitionistic mathematics.A. Heyting - 1955 - Synthese 9 (1):91 - 96.
Negationless Intuitionistic Mathematics II, III, IV.G. F. C. Griss - 1954 - Journal of Symbolic Logic 19 (4):296-297.
Review: G. F. C. Griss, Negationless Intuitionistic Mathematics II, III, IV. [REVIEW]P. G. J. Vredenduin - 1954 - Journal of Symbolic Logic 19 (4):296-297.
Review: G. F. C. Griss, Negationless Intuitionistic Mathematics. [REVIEW]Evert W. Beth - 1947 - Journal of Symbolic Logic 12 (2):62-62.
Negationless intuitionism.Enrico Martino - 1998 - Journal of Philosophical Logic 27 (2):165-177.
Logic of Negationless Intuitionistic Mathematics.G. F. C. Griss - 1955 - Journal of Symbolic Logic 20 (1):67-68.
Review: G. F. C. Griss, Logic of Negationless Intuitionistic Mathematics. [REVIEW]P. G. J. Vredenduin - 1955 - Journal of Symbolic Logic 20 (1):67-68.
Review: G. F. C. Griss, Negationless Intuitionistic Mathematics; J. Ridder, Ueber den Aussagen-und den Engeren Pradikatenkalkul; L. E. J. Brouwer, Richtlijnen der Intuitionistische Wiskunde. [REVIEW]Alonzo Church - 1948 - Journal of Symbolic Logic 13 (3):174-174.
Intuitionistic mathematics does not needex falso quodlibet.Neil Tennant - 1994 - Topoi 13 (2):127-133.
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic.Takeshi Yamazaki - 2001 - Notre Dame Journal of Formal Logic 42 (3):143-148.
Choice sequences: a chapter of intuitionistic mathematics.Anne Sjerp Troelstra - 1977 - Oxford [Eng.]: Clarendon Press.
The foundations of intuitionistic mathematics.Stephen Cole Kleene - 1965 - Amsterdam,: North-Holland Pub. Co.. Edited by Richard Eugene Vesley.

Analytics

Added to PP
2015-02-05

Downloads
31 (#512,020)

6 months
4 (#779,041)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Inference Rules and the Meaning of the Logical Constants.Hermógenes Oliveira - 2019 - Dissertation, Eberhard Karls Universität Tübingen

Add more citations

References found in this work

No references found.

Add more references