intensional logic
noun1
Human sciences, Logic, Mathematics, Philosophy, Sciences A formal deductive system able to represent the distinction between intension and extension of a term.
Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.