Unter Gentzentypkalkülen versteht man Logikkalküle eines bestimmten Typs. Sie werden nach dem Mathematiker und Logiker Gerhard Gentzen genannt, weil diese Kalküle seinen Sequenzenkalkülen ähnlich sind. Im Einzelnen handelt es sich um die Sequenzenkalküle LJ und LK, die Systeme des natürlichen Schließens NJ und NK (J ist jeweils der intuiti...