Two-Valued Interpretation

A three-valued interpretation $v$ of an ADF is two-valued iff $v(a) \in \{\mathsf{t}, \mathsf{f}\}$ for all $a \in A$.

Properties

Among all three-valued interpretations, the two-valued ones are the maximal elements with respect to the information ordering $\leq_i$; those that extend a three-valued interpretation $v$ are its completions $[v]_2$ (Brewka et al., 2013).