Synset
a form of mathematical logic in which truth can assume a continuum of values between 0 and 1
<noun.cognition>
fuzzy logic
semantic pointers
hypernym
formal logic, symbolic logic, mathematical logic