Systeme natürlichen Schließens
Die natürliche Deduktion ist ein Zweig der mathematischen Logik, der in Polen in den 1920er und 30er Jahren entwickelt wurde. Er soll Inferenzregeln ausdrücken, die eng mit der "natürlichen" Art des Schlussfolgerns verbunden sind.
Angeregt durch eine Reihe von Seminaren in Polen im Jahr 1926 durch Łukasiewicz, die eine natürlichere Behandlung der Logik befürworteten, unternahm Jaśkowski die ersten Versuche, eine natürlichere Deduktion zu definieren. Im Jahr 1929 schlug er zunächst vor, eine diagrammatische Notation zu verwenden, und aktualisierte seinen Vorschlag später in Abhandlungen in den Jahren 1934 und 1935.
