AI Dictionary & Vocabulary App "DiQt"

Last Updated：2025/12/02

See correct answer

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

音声機能が動作しない場合はこちらをご確認ください

Source Sentence

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

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