研究者たちは、計算をモデル化する上で最も表現力があるものを見極めるために、いくつかの数理論理学の体系を比較した。

ゼミでは、学生たちは形式的推論をより深く理解するために、異なる種類の記号論理学の歴史的展開を比較した。

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

新しい証拠に直面したときにエージェントがどのように信念を更新するかをモデル化するために、いくつかの信念の論理が提案されてきました。

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

哲学のゼミで、日常的な議論をどのように扱うかを確かめるために、いくつかの非形式論理を比較しました。

研究者たちは異なる量子論理を比較して、どの枠組みが絡み合いを最もよくモデル化するかを判断した。

研究者たちは、資源の消費を最もよくモデル化するものを判断するために、いくつかの異なる線形論理の変種を比較した。

研究者たちは、不確実性の下で人間の推論を最もよくモデル化するのはどのファジィ論理かを判断するために、複数のファジィ論理を比較した。

大学院のゼミで、私たちはいくつかの異なる命題論理体系を比較して、さまざまな真理機能的結合子が論理的妥当性にどのように影響するかを理解しました。