Definition:Deductive Apparatus

Definition
Let $\LL$ be a formal language.

A deductive apparatus for $\LL$ is a formally specified system for deriving conclusions about the well-formed formulas of $\LL$.

In mathematics and logic, deductive apparatuses can by and large be divided into proof systems and formal semantics.

Also see

 * Definition:Formal System