many-sorted logics

名詞

活用形複数形

plural of many-sorted logic

日本語の意味

「多ソート論理」の複数形（すなわち、複数の種類の対象を区別する論理体系であることを示す表現）

Many-sorted logics provide a robust framework for representing and reasoning about systems containing several different types of entities.

複数のソートを持つ論理体系は、いくつかの異なる種類の要素を含むシステムを表現し推論するための堅牢な枠組みを提供する。

意味（1）

plural of many-sorted logic