intensional logic

== English == === Noun === intensional logic (plural intensional logics) (logic) A formal deductive system able to represent the distinction between intension and extension of a term. ==== Translations ====