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

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

哲学の歴史において、異なる古典論理体系の間の議論が形式的推論の発展を形作った。

ゼミでは、体系間で証明手法がどのように異なるかを理解するために、いくつかの異なる構成的論理体系を比較しました。

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

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

そのソフトウェアのカットのルールが稀なエッジケースを考慮しておらず、予期しない結果を引き起こした。

複数のブール論理は、真か偽かの判断に基づくデジタル回路の設計に不可欠です。

哲学者たちの議論はしばしば、分析哲学に対する論理実証主義の諸派の歴史的影響を巡って行われる。

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