many-sorted logic

Noun

(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 ）