邻域语义学和模型完全性

作者从将所有命题算子都看作内涵到内涵的算子的观点出发，提出了一般命题逻辑的概念，建立了统一的语义──邻域语义学。讨论了邻域语义学的模型完全性，给出了逻辑系统具有模型完全性的充分必要条件。模型完全性的哲学背景是逻辑系统必须遵守组合原则和唯一性原则。模型完全性仅是逻辑系统的必要条件，要刻画逻辑系统需要更强的完全性─框架完全性。邻域语义学开辟了逻辑研究的新领域，对各种不同的逻辑系统间的比较提供了有效的方法。