intensional logic noun1 •A formal deductive system able to represent the distinction between intension and extension of a term. formsintensional logics