Literature
G. F. C. Griss. Negatieloze intuitionistische wiskunde. Verslagen Ned. Akad. v. Wet. 53 (1944), 261–268.
—— —— Negationless intuitionistic mathematics, Proc. Kon. Ned. Akad. v. Wet. 49 (1946), 1127–1133, 53 (1950), 456–463, 54 (1951), 452–471.
—— ——, Logic of negationless intuitionistic mathematics, ibid. 54 (1951). 41–49.
P. C. Gilmore, The effect of Griss' criticism of the intuitionistic logic on deductive theories formalized within the intuitionistic logic. Proc. Kon. Ned. Akad. v. Wet. 56 (1953), Ser. A 162–163.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Heyting, A. G. F. C. Griss and his negationless intuitionistic mathematics. Synthese 9, 91–96 (1955). https://doi.org/10.1007/BF00567395
Published:
Issue Date:
DOI: https://doi.org/10.1007/BF00567395