Last Updated：2025/11/24

(logic) A logic that directly supports classification of entities into disjunct sorts.

音声機能が動作しない場合はこちらをご確認ください

See correct answer

many-sorted logic

Source Word

many-sorted logic

(logic) A logic that directly supports classification of entities into disjunct sorts.

Japanese Meaning

複数の不連続な種類（ソート）に対象を直接分類することをサポートする論理体系（多ソート論理）

Researchers often use many-sorted logic to simplify formal specifications by assigning each variable to a specific sort.

研究者はしばしば、対象を互いに排反する複数のソートに直接分類できる論理を用いて、各変数を特定のソートに割り当てることで形式仕様を簡素化する。

Sense（1）

(logic) A logic that directly supports classification of entities into disjunct sorts.

many-sorted logics

（ plural ）