Kalkül
Kalkül[frz.] der,
1) Logik: Weiterentwicklung des axiomat. Systems, bei der das log. Schließen durch das Umformen von Symbolketten ersetzt ist. Auf der Grundlage eines Alphabets (definierte Grundzeichen) werden aus Axiomen mit Ableitungsregeln neue Sätze und Theoreme hergeleitet, die insgesamt einen Formalismus bilden. Jeder Algorithmus ist ein K. oder kann auf die Form eines K. gebracht werden.
2) Mathematik: ein System von Zeichen und Regeln zur formalen Ausführung mathemat. Rechnungen.