Translator Disclaimer
July 1994 Brouwer and Griss on intuitionistic negation
Miriam Franchella
Mod. Log. 4(3): 256-265 (July 1994).

Abstract

During the 1940s, a debate about the intuitionistic definition of negation took place between G .F. C. Griss and L. E. J. Brouwer: namely, Griss criticized Brouwer's definition as inconsistent with the intuitionistic framework. In this paper I present firstly Brouwer's definition of negation; then Griss' criticism of it and his proposal of a "negationless" mathematics; finally Brouwer's reply to Griss.

Citation

Download Citation

Miriam Franchella. "Brouwer and Griss on intuitionistic negation." Mod. Log. 4 (3) 256 - 265, July 1994.

Information

Published: July 1994
First available in Project Euclid: 6 March 2008

zbMATH: 0802.03001
MathSciNet: MR1281341

Subjects:
Primary: 03-03
Secondary: 01A60, 03A05, 03B20, 03F55

Rights: Copyright © 1994 The Review of Modern Logic

JOURNAL ARTICLE
10 PAGES


SHARE
Vol.4 • No. 3 • July 1994
Back to Top