intensional logic

Noun

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

Translations

 * Czech: intenzionální logika