Logikkalkül
Ein Kalkül ist die Gesamtheit der Beschreibung möglicher Werte, elementarer Operationen, elementarer gesetzter (axiomatischer) Regeln und daraus sich ergebender Konsequenzen, was den Aufbau und die Verwendung komplexerer logischer Operationen betrifft.siehe Logik