Search results- English - English

Keyword:

sequents.

sequents

Noun

form-of plural

plural of sequent

Japanese Meaning

「sequent」の複数形

What is this buttons?

Sequents provide a compact notation for expressing entailment relations in sequent calculus proofs.

Google Translation / DeepL Translation

シーケントの複数形は、シーケント計算の証明において含意関係を表現するための簡潔な表記を提供します。

Details

sequent

IPA(Pronunciation)

/ˈsiːkwənt/

Noun

obsolete

Something that follows in a given sequence.

Japanese Meaning

与えられた系列に続くもの / 順序に従って次に来るもの

What is this buttons?

Each sequent in the list corresponds to the next step in the procedure.

Google Translation / DeepL Translation

リスト内の各後続項目は、手順の次の段階に対応しています。

Details

Related Words

sequents

（ plural ）

Details

sequent

IPA(Pronunciation)

/ˈsiːkwənt/

Adjective

obsolete archaic

Japanese Meaning

時系列や順序において後に続く、あるいはその次に位置する / 結果として生じる、または結論や帰結としての側面を示す

What is this buttons?

The sequent chapters of the manuscript revealed new evidence about the author's intentions.

Google Translation / DeepL Translation

その原稿のその後の章は、著者の意図に関する新たな証拠を明らかにした。

Details

Related Words

more sequent

（ comparative ）

most sequent

（ superlative ）

Details

sequent calculus

Noun

(mathematics, logic) A set of inference rules for deriving true sequents from other true sequents.

Japanese Meaning

数学および論理学において、真であるシーケント（論理的推論の一形式）を他の真であるシーケントから導出するための推論規則の体系。

What is this buttons?

The sequent calculus provides a clear framework for formalizing inference rules in proof theory.

Google Translation / DeepL Translation

シーケント計算は、証明論における推論規則を形式化するための明確な枠組みを提供します。

Details

Related Words

sequent calculi

（ plural ）

Details

sequent calculi

Noun

form-of plural

plural of sequent calculus

Japanese Meaning

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

What is this buttons?

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

Google Translation / DeepL Translation

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

Details

Search by Web