研究者たちは、どの項論理体系が範疇的三段論法を最も適切に扱えるかを判断するため、いくつかの項論理体系を比較した。

関連論理体系は含意に対して別のアプローチを提供し、物質的含意の逆説を回避します。

研究者たちは、並行プログラムの検証に最も適したホーア論理の異なるバージョンを比較した。

大学院生たちは、どの義務論的論理の体系が規範的推論を最もよく捉えるかを比較した。

研究者たちは、自然言語の量化の意味論を最もよく表現する述語論理体系を特定するために、いくつかの述語論理体系を比較した。

エンジニアチームは試作機の断続的なタイミング問題をデバッグするために、論理信号解析器を使用した。

多くの論理実証主義者たちは、形而上学的な主張を無意味だとして退け、科学理論を観察的な用語へ還元しようとした。

討論は十数人の論理を切り刻む者たちによって台無しになり、彼らは主張を意味のない断片に切り裂き続けた。

哲学を学ぶ学生は、複雑な命題の真理を決定する論理結合子の働きをよく学ぶ。

研究者たちは、どのモデルがシェフの刻み動作を最もよく再現するかを調べるため、刻む動作に基づく複数の論理体系を比較した。