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.
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.