The Effect of Griss' Criticism of the Intuitionistic Logic on Deductive Theories Formalized Within the Intuitionistic Logic

Journal of Symbolic Logic 21 (1):91-92 (1956)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268512

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,902

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

The effect of Griss' criticism of the intuitionistic logic on deductive theories formalized within the intuitionistic logic.Paul Carl Gilmore - 1953 - Amsterdam,: Drukkerij Holland.
Gilmore Paul Carl. The effect of Griss' criticism of the intuitionistic logic on deductive theories formalized within the intuitionistic logic. English with Dutch Samenvatting. Dissertation Amsterdam 1953, viii + 25 pp.Gilmore P. C.. The effect of Griss' criticism of the intuitionistic logic on deductive theories formalized within the intuitionistic logic. The same paper with omission of the preface and the Dutch summary. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 56 , pp. 162–186; also Indagationes mathematicae, vol. 15 , pp. 162–186. [REVIEW]David Nelson - 1956 - Journal of Symbolic Logic 21 (1):91-92.
Gilmore P. C.. Griss' criticism of the intuitionistic logic and the theory of order. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 98–104. [REVIEW]David Nelson - 1956 - Journal of Symbolic Logic 21 (1):93-94.
Disjunction and Existence in Formalized Intuitionistic Analysis.J. R. Moschovakis - 1970 - Journal of Symbolic Logic 35 (4):587-588.
Griss’ criticism of the intuitionistic logic and the theory of order.P. C. Gilmore - 1953 - Proceedings of the XIth International Congress of Philosophy 5:98-104.
Intuitionistic Sahlqvist Theory for Deductive Systems.Damiano Fornasiere & Tommaso Moraschini - forthcoming - Journal of Symbolic Logic:1-59.

Analytics

Added to PP
2017-02-21

Downloads
5 (#1,747,261)

6 months
3 (#1,468,946)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Does negation rest upon a mistake?Alan Ross Anderson - 1965 - Philosophical Studies 16 (1-2):4 - 6.
Metaphorical assertions.Robert Brown - 1965 - Philosophical Studies 16 (1-2):6 - 8.

Add more citations

References found in this work

No references found.

Add more references