\begin{definition}[Definition:Multi-Value Logic]
'''Multi-value logic''' is a branch of logic in which it is admissible for a statements to have a truth value other than just true or false.
\end{definition}