Logik–Kalkül agr.-lat.-deu. 'Kalküle, auf eine Logik selbst angewandt, werden auch Logikkalküle genannt.'