Logic of Negationless Intuitionistic Mathematics

Journal of Symbolic Logic 20 (1):67-68 (1955)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268075

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.
Negationless Intuitionistic Mathematics II, III, IV.G. F. C. Griss - 1954 - Journal of Symbolic Logic 19 (4):296-297.
Negationless Intuitionistic Mathematics.G. F. C. Griss - 1947 - Journal of Symbolic Logic 12 (2):62-62.
Negationless intuitionism.Enrico Martino - 1998 - Journal of Philosophical Logic 27 (2):165-177.
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, 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. [REVIEW]Evert W. Beth - 1947 - Journal of Symbolic Logic 12 (2):62-62.
G. F. C. griss and his negationless intuitionistic mathematics.A. Heyting - 1955 - Synthese 9 (1):91 - 96.
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.
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic.Takeshi Yamazaki - 2001 - Notre Dame Journal of Formal Logic 42 (3):143-148.
Intuitionistic mathematics does not needex falso quodlibet.Neil Tennant - 1994 - Topoi 13 (2):127-133.
The Significance of Explanatory Considerations.Adam Grobler - 2004 - In Friedrich Stadler (ed.), Vienna Circle Institute Yearbook. Springer. pp. 53.
Choice sequences: a chapter of intuitionistic mathematics.Anne Sjerp Troelstra - 1977 - Oxford [Eng.]: Clarendon Press.

Analytics

Added to PP
2015-02-05

Downloads
24 (#651,995)

6 months
2 (#1,192,610)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references