Deductive System

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A formal apparatus consisting of a formal language together with a set of axioms (or axiom schemata) and inference rules that determine which sequences of formulas count as valid derivations from premises to conclusions.