\begin{definition}[Definition:Deductive Apparatus]
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.
\end{definition}