Editing Truth value (section)

== Algebraic semantics ==
{{main|Algebraic logic}}
Not all [[logical system]]s 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]], is specified in terms of [[proof theory|provability]] conditions, and not directly in terms of the [[necessarily true|necessary truth]] of formulae.

But even non-truth-valuational logics can associate values with logical formulae, as is done in [[algebraic semantics (mathematical logic)|algebraic semantics]]<!-- if this becomes a dab page linking to [[Algebraic logic]], just remove the link -->. The algebraic semantics of intuitionistic logic is given in terms of [[Heyting algebra]]s, compared to [[Boolean algebra (structure)|Boolean algebra]] semantics of classical propositional calculus.
<!-- This also has an analogy to vector spaces instead of scalars. But is it encyclopedic enough? -->