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

Links

PhilArchive



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

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

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.
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.
The effect of Griss' criticism of the intuitionistic logic on deductive theories formalized within the intuitionistic logic.Paul C. Gilmore - 1953 - Amsterdam,: Drukkerij Holland.
A Negationless Interpretation Of Intuitionistic Theories.Victor N. Krivtsov - 2000 - Erkenntnis 53 (1-2):155-172.
A negationless interpretation of intuitionistic theories. II.Victor N. Krivtsov - 2000 - Studia Logica 65 (1-2):155-179.
A Negationless Interpretation of Intuitionistic Theories. I.Victor N. Krivtsov - 2000 - Studia Logica 64 (3):323-344.
Griss' Criticism of the Intuitionistic Logic and the Theory of Order.P. C. Gilmore - 1956 - Journal of Symbolic Logic 21 (1):93-94.
Hilbert’s varepsilon -operator in intuitionistic type theories.John L. Bell - 1993 - Mathematical Logic Quarterly 39 (1):323--337.
Review: P. C. Gilmore, Griss' Criticism of the Intuitionistic Logic and the Theory of Order. [REVIEW]David Nelson - 1956 - Journal of Symbolic Logic 21 (1):93-94.
Bi-Simulating in Bi-Intuitionistic Logic.Guillermo Badia - 2016 - Studia Logica 104 (5):1037-1050.
Intuitionistic Completeness for First Order Classical Logic.Stefano Berardi - 1999 - Journal of Symbolic Logic 64 (1):304-312.
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.
Intuitionistic completeness for first order classical logic.Stefano Berardi - 1999 - Journal of Symbolic Logic 64 (1):304-312.
A deductive-reductive form of logic: Intuitionistic S4 modalities.Piotr Łukowski - 2002 - Logic and Logical Philosophy 10:79.

Analytics

Added to PP
2017-02-21

Downloads
1 (#1,902,042)

6 months
1 (#1,472,961)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

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

Add more citations

References found in this work

No references found.

Add more references