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

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

学者たちはしばしば、神話を支える準論理体系を分析して、対立や比喩が伝統的な物語をどのように構築するかを明らかにする。

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

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

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

哲学のゼミでは午後をかけて命題論理とそのコンピュータ科学への応用を研究しました。

テストを効率化するため、チームはプレゼンテーション層からドメインロジックを分離した。

アプリケーションの表示を担当するロジックは、テストや再利用を容易にするためにビジネスロジックから分離されるべきです。

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