Dieser Artikel von Wikipedia ist u.U. veraltet. Die neue Version gibt es hier. Ein Kalkül ist die Gesamtheit der Beschreibung möglicher Werte elementarer Operationen elementarer gesetzter (axiomatischer) Regeln und daraus ergebender Konsequenzen was den Aufbau und die Verwendung logischer Operationen betrifft.