条件句逻辑是哲学逻辑的一个重要分支,是对(狭义)模态逻辑的重要发展。它的主要目的在于刻画关于虚拟条件句、直陈条件句和正常条件句的推理。本书系统阐述了条件句逻辑的基本概念、基本方法、重要成果及其恰当性理论。为了便于读者理解,本书对条件句逻辑的基本概念、方法以及表述重要成果所需的引理和定理给予详细的证明、必要的分析和比较。本书可以作为逻辑学、哲学、人工智能以及相关领域的科研人员的参考书,也可作为上述领域研究生的教材或参考书。
条件句逻辑 EPUB, PDF, TXT, AZW3, MOBI, FB2, DjVu, Kindle电子书免费下载。