intensional logic（形式的な推論体系で）とは - 英語 - 英語

ログインすると広告が減り、学習に集中できます。

検索内容:

intensional logic

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

日本語の意味

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

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

活用形複数形

plural of intensional logic

原形: intensional logic

日本語の意味

「intensional logic」の複数形。

Researchers compared several intensional logics to determine which best captured the semantics of propositional attitudes.

研究者たちは、命題的態度の意味を最もよくとらえるものを特定するために、いくつかのインテンショナル論理体系を比較した。

Webで検索する