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!