sequent calculi

Noun

form-of plural

plural of sequent calculus

Japanese Meaning

「sequent calculus」（シーケント計算）の複数形。すなわち、複数のシーケント計算、つまり論理学における形式体系としてのシーケント計算の複数形を指します。

Several sequent calculi have been proposed to formalize different systems of logic.

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

Sense（1）

plural of sequent calculus