Intensional-logic Definition

noun

(logic) A formal deductive system able to represent the distinction between intension and extension of a term.

Wiktionary