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. Our algebraic foundations of many-valuedness underlines the use of order in logical structures.