Lexikon der Mathematik: intermediate Logik
auch super-intuitionistische Logik genannt, ist eine Logik, die zwischen der klassischen und der intuitionistischen Logik angesiedelt ist (Logik).
Die intermediate Logik ist eine Entwicklungsrichtung vor allem im Rahmen der Aussagenlogik. Es wird eine beliebige konsistente Menge von aussagenlogischen Ausdrücken (konsistente Formelmenge) betrachtet, die alle Axiome des intuitionistischen Aussagenkalküls enthält und abgeschlossen ist bezüglich des modus ponens und der Substitution von Aussagenvariablen durch aussagenlogische Ausdrücke.
Es wird versucht, die Idee von der intuitionistischen Wahrheit vom Standpunkt der klassischen Mathematik aus zu interpretieren.
Copyright Springer Verlag GmbH Deutschland 2017
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.