 Another way to develop a many-valued paraconsistent logic is to think of an assignment of a truth value not as a function but as a relation. Let \(P\) be the set of propositional parameters. Then an evaluation, \(\eta\), is a subset of \(P \times \{0, 1\}\). A proposition may only relate to 1 (true), it may only relate to 0 (false), it may relate to both 1 and 0 or it may relate to neither 1 nor 0. The evaluation is extended to a relation for all formulas by the following recursive clauses: