intensional logic

English

Noun

intensional logic (plural intensional logics)

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

Translations