In Other Theories
Intuitionistic type theory uses types in the place of truth values.
Topos theory uses truth values in a special sense: the truth values of a topos are the global elements of the subobject classifier. Having truth values in this sense does not make a logic truth valuational.
Read more about this topic: True And False
Famous quotes containing the word theories:
“Our books of science, as they improve in accuracy, are in danger of losing the freshness and vigor and readiness to appreciate the real laws of Nature, which is a marked merit in the ofttimes false theories of the ancients.”
—Henry David Thoreau (1817–1862)