Direkt zum Inhalt

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.

Schreiben Sie uns!

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.

  • Die Autoren
- Prof. Dr. Guido Walz

Partnerinhalte

Bitte erlauben Sie Javascript, um die volle Funktionalität von Spektrum.de zu erhalten.