Eine Darstellung der Intuitionistischen Logik in der Klassischen
- 1 June 1954
- journal article
- research article
- Published by Cambridge University Press (CUP) in Nagoya Mathematical Journal
- Vol. 7, 45-64
- https://doi.org/10.1017/s0027763000018055
Abstract
Für jeden, der sich an die klassische Logik gewöhnt ist, mag undenkbar sein, dass der „Satz vom ausgeschlossenen Dritten” in der intuitionistischen Logik im allgemeinen nicht anerkannt ist. Aber es ist ganz natürlich, wenn man diejenige Tatsache beobachtet, dass eine äusserlich gleiche Aussage in der klassischen Logik und in der intuitionistischen doch ungleiche inhaltliche Sinne haben kann.Keywords
This publication has 2 references indexed in Scilit:
- Intuitionistische Untersuchungen der formalistischen LogikNagoya Mathematical Journal, 1951
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935