logische Kalküle/Logikkalküle

z. B.:
Unter einem Kalkül (fr. calcul „Rechnung“; von lat. calculus „Rechenstein“, „Spielstein“) versteht man in den formalen Wissenschaften wie Logik und Mathematik ein System von Regeln, mit denen sich aus gegebenen Aussagen (Axiomen) weitere Aussagen ableiten lassen. Kalküle im Bereich der Logik werden auch Logikkalküle genannt.

Das Wort „Kalkül“ im logischen und mathematischen Sinn ist ein Maskulinum („der Kalkül“). Das Wort „Kalkül“ im umgangssprachlichen Sinn wird auch als Neutrum verwendet („das Kalkül“, deshalb auch „ins Kalkül ziehen“) und wird dann im Sinne von „Berechnung“ oder „Überlegung“ verwandt.[1] So bedeutet der Ausdruck „ins Kalkül ziehen“ umgangssprachlich eine bewertende Betrachtung einer möglichen Handlungsweise und entspricht somit dem Ausdruck „in die Überlegung einbeziehen“.
http://209.85.229.132/search?q=cache:nA2jj16o27IJ:de.wikiped...

Für die Informatik ist der Begriff des logischen Kalküls von zentraler .... Logische Kalküle, die nicht konsistent sind, können auch nicht korrekt sein, ...
http://www.springerlink.com/content/gn5344262v7068q7/

Es werden die Syntax und die Semantik der prädikatenlogischen Sprache exakt eingeführt. Darauf aufbauend wird eine Formalisierung des Folgerungsbegriffs vorgenommen. Hier kommen logische Kalküle ins Spiel. Über Normalformen gewinnt man dann mit Hilfe des Satzes von Herbrand die rekursive Aufzählbarkeit der allgemein gültigen prädikatenlogischen Formeln. Dieses Resultat bildet das Zentrum des Kurses und leitet über zur Theorie der logischen Programmierung.
http://209.85.229.132/search?q=cache:wVubUCtqKtMJ:mi5.fernun...