Hostname: page-component-586b7cd67f-tf8b9 Total loading time: 0 Render date: 2024-11-24T21:42:06.751Z Has data issue: false hasContentIssue false
  • English
  • Français

Eine Darstellung der Intuitionistischen Logik in der Klassischen

Published online by Cambridge University Press:  22 January 2016

Shôji Maehara
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
Information
Nagoya Mathematical Journal , Volume 7 , June 1954 , pp. 45 - 64
Copyright
Copyright © Editorial Board of Nagoya Mathematical Journal 1954

References

Literaturverzeichnis

[ 1 ] Gentzen, G., Untersuchungen über das logische Schliessen. Math. Z. 39 (1935), S. 176–0 und 405–1.CrossRefGoogle Scholar
[ 2 ] Kuroda, S., Intuitionistische Untersuchungen der formalistischen Logik. Nagoya Math. J. 2 (1951), S. 35–7.CrossRefGoogle Scholar