Definition:Deductive Apparatus

Definition
Let $\mathcal L$ be a formal language.

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

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

Also see

 * Definition:Formal System