1

Kalküle des natürlichen Schließens sind auch als „Gentzen style calculi“ oder „Jaśkowsky style calculi“ bekannt; Gerhard Gentzen und Stanisław Jaśkowsky erfanden unabhängig voneinander diese Art von Kalkülen und publizierten ihre Arbeiten 1934. Jan Wolenski zufolge stammen Jaśkowskys Ergebnisse allerdings bereits aus dem Jahre 1927. Vgl. Gerhard Gentzen: „Untersuchungen über das logische Schließen“, in: Mathematische Zeitschrift 39, 1934-1935, nachgedruckt in: Karel Berka/Lothar Kreiser: Logik-Texte. Kommentierte Auswahl zur Geschichte der modernen Logik, Berlin: Akademie 41986; Stanisław Jaśkowsky: „On the Rules of Suppositions in Formal Logic“, Warschau: 1934.