A Mathematical Formalization of Fuzzy Trace Theory Conference Paper uri icon