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.