Schroeder-Heister, Peter
(1982)
Es wird eine Erweiterung des Ableitungsbegriffs des Kalküls des natürlichen Schließens um Regeln höherer Stufe vorgeschlagen. Diese Erweiterung erlaubt es, ein allgemeines Schema für Einführungs- und Beseitigungsregeln von ...