 The relation \(\le_t\) is also called a logical order, because it can be used to determine key logical notions: logical connectives and an entailment relation. Namely, if the elements of the given valuation system \(\mathbf{V}\) form a lattice, then the operations of meet and join with respect to \(\le_t\) are usually seen as the functions for conjunction and disjunction, whereas negation can be represented by the inversion of this order. Moreover, one can consider an entailment relation for \(\mathbf{V}\) as expressing agreement with the truth order, that is, the conclusion should be at least as true as the premises taken together: