this may be expressed as the existence of various degrees of truth.

Algebraic semantics

Not all logical systems are truth-valuational in the sense that logical connectives may be interpreted as truth functions. For example, intuitionistic logic lacks a complete set of truth values because its semantics, the Brouwer-Heyting-Kolmogorov interpretation,