 A pair \(\mathcal{M} = \langle \mathbf{V}, v_a\rangle\), where \(\mathbf{V}\) is an \((n\)-valued) valuation system and \(v_a\) a valuation in \(\mathbf{V}\), may be called an \((n\)-valued) model based on \(\mathbf{V}\). Every model \(\mathcal{M} = \langle \mathbf{V}, v_a\rangle\) comes with a corresponding entailment relation \(\vDash_{\mathcal{M}}\) by defining \(Δ\vDash_{\mathcal{M} }A\textrm{ iff }(\forall B \in Δ: v_a (B) \in \mathcal{D}) \Rightarrow v_a(A) \in \mathcal{D}\).