最終更新日:2025/12/02
編集履歴(0)
元となった辞書の項目

sequent calculi

名詞
活用形 複数形
日本語の意味
「sequent calculus」(シーケント計算)の複数形。すなわち、複数のシーケント計算、つまり論理学における形式体系としてのシーケント計算の複数形を指します。
このボタンはなに?

異なる論理体系を形式化するために、いくつかのシーケント計算系が提案されてきた。

Dictionary quizzes to help you remember the meaning

編集履歴(0)

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★