English Dictionary

The mathematician developed a new logistic framework to formalize symbolic inference.

その数学者は、記号的推論を形式化するための新しい記号論理学的枠組みを開発した。