intensional logic

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

Japanese Meaning

形式的な推論体系で、用語の内包（意味）と外延（対象）の区別を明示的に扱う論理システム

学会で彼女は、項の内包と外延の区別を表現する形式的演繹体系である内包論理に関する新しい証明を発表し、その違いを明確にした。

Sense（1）

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

intensional logics

（ plural ）