コードレビューの際、彼女は可読性を高めるためにロジックを小さな関数に分割した。

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

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

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

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

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

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

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

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

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