Topic summary
Truth values
Extracted from the Wikipedia article Truth value.
Intuitionistic and constructive logic
Whereas in classical logic truth values form a Boolean algebra, in intuitionistic logic, and more generally, constructive mathematics, the truth values form a Heyting algebra. Such truth values may express various aspects of validity, including locality, temporality, or computational content.