The use of lative logic for **uncertainty and vagueness modelling**, with focus on terms, appears in
Fuzzy terms.
Relations between uncertainty and probability is explained in
Fuzzy sets and signatures,
which also suggests a formalism for a conceptual enrichment of the "implied attribute" in Lotfi Zadeh's 1978 paper
Fuzzy sets as a basis for a theory of possibility.
This formalism and conceptual enrichment thereby also makes a clear distinction between 'fuzzy logic' and 'logic with fuzzy',
previously not known or recognized within the fuzzy community. The distinction
between 'fuzzy computing' and 'computing with fuzzy' is similar. PhD thesis work on
Categorical Unification
provide background e.g. for monad compositions involving the term monad.