Last Updated：2025/12/02

Dictionary quizzes to help you remember the meaning

Dictionary quizzes to help you remember the meaning

many-sorted logics

Edit Histories（0）

Source Word

many-sorted logics

Noun

form-of plural

plural of many-sorted logic

Japanese Meaning

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

What is this buttons?

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

Google Translation / DeepL Translation

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

Sense（1）

plural of many-sorted logic

Login / Sign up

　

Download the app!

DiQt

Free

★★★★★★★★★★