B001463　经典逻辑与直觉主义逻辑

---

冯棉著。上海人民出版社1989年11月版。17．2万字。直觉主义逻辑是伴随著数学哲学中的直觉主义思想而产生的一种非标准逻辑，由于它接近计算机所实际使用的逻辑，因而对人工智能的开发具有重要的理论意义和实际价值。分4章。一、经典命题逻辑；二、直觉主义命题逻辑；三、经典谓词逻辑；四、直觉主义谓词逻辑。在内容的安排上兼顾经典逻辑和直觉主义逻辑2个方面。具有以下几个特点：一、同时给出自然推理系统和等价的形式公理系统；二、陈述直觉主义逻辑的Kripke语义，并阐明它的直观涵义；三、在语义模型的基础上，对各个逻辑系统的一致性、可靠性和完全性作了证明；四、讨论直觉主义命题逻辑与模态命题逻辑系统S4之间的关系，并通过Godel变换揭示经典逻辑与直觉主义逻辑之间的相互联系。把模态逻辑中判定公式有效性的语义图方法进一步推广到直觉主义命题逻辑，并证明这是一种可行的判定方法。