logical calculus

Also called a formal language, and a logistic system. A system in which explicit rules are provided for determining (a) which are the expressions of the system; (b) which sequences of expressions count as well formed (well-formed formulae, or wffs); (c) which sequences of wffs count as proofs. A system may contain axioms, and a wff that terminates a proof will be a theorem. The two most famous calculi are the propositional calculus and the predicate calculus.