Hostname: page-component-7c8c6479df-nwzlb Total loading time: 0 Render date: 2024-03-19T05:44:43.801Z Has data issue: false hasContentIssue false

Eine Darstellung der Intuitionistischen Logik in der Klassischen

Published online by Cambridge University Press:  22 January 2016

Shôji Maehara*
Affiliation:
Universität zu Tokyo
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

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.

Type
Research Article
Copyright
Copyright © Editorial Board of Nagoya Mathematical Journal 1954

References

Literaturverzeichnis

[ 1 ] Gentzen, G., Untersuchungen über das logische Schliessen. Math. Z. 39 (1935), S. 1760 und 4051.CrossRefGoogle Scholar
[ 2 ] Kuroda, S., Intuitionistische Untersuchungen der formalistischen Logik. Nagoya Math. J. 2 (1951), S. 357.CrossRefGoogle Scholar