Review: G. F. C. Griss, Negationless Intuitionistic Mathematics [Book Review]

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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. I.Victor N. Krivtsov - 2000 - Studia Logica 64 (1-2):323-344.
A negationless interpretation of intuitionistic theories.Victor N. Krivtsov - 2000 - Erkenntnis 53 (1-2):155-179.
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.
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.
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.
Review: G. F. C. Griss, Negation-free Intuitionistic Mathematics. [REVIEW]Evert W. Beth - 1946 - Journal of Symbolic Logic 11 (1):24-24.
Negationless intuitionism.Enrico Martino - 1998 - Journal of Philosophical Logic 27 (2):165-177.
Review: A. Heyting, G. F. C. Griss and his Negationaless Intuitionistic Mathematics. [REVIEW]P. G. J. Vredenduin - 1956 - Journal of Symbolic Logic 21 (1):91-91.
Review: Paul Carl Gilmore, The Effect of Griss' Criticism of the Intuitionistic Logic on Deductive Theories Formalized Within the Intuitionistic Logic. [REVIEW]David Nelson - 1956 - Journal of Symbolic Logic 21 (1):91-92.
Review: A. Heyting, Intuitionistic Mathematics. [REVIEW]Evert Beth - 1940 - Journal of Symbolic Logic 5 (2):73-74.
Intuitionistic mathematics does not needex falso quodlibet.Neil Tennant - 1994 - Topoi 13 (2):127-133.
Review: L. E. J. Brouwer, Directives of Intuitionistic Mathematics. [REVIEW]Evert W. Beth - 1947 - Journal of Symbolic Logic 12 (4):136-136.
The effect of Griss' criticism of the intuitionistic logic on deductive theories formalized within the intuitionistic logic.Paul C. Gilmore - 1953 - Amsterdam,: Drukkerij Holland.

Analytics

Added to PP
2013-11-22

Downloads
11 (#1,110,001)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references