Logik höherer Stufe

Unter Logik höherer Stufe , auch Stufenlogik, versteht man eine Erweiterung der Prädikatenlogik erster Stufe. Sie basiert auf dem typisierten Lambda-Kalkül und geht auf Alonzo Churchs Theory of Simple Types zurück.