Attributional calculus (AC) is a typed logic system that combines elements of propositional logic, predicate calculus, and multiple-valued logic for the purpose of natural induction. By natural induction is meant a form ...