公司教师石伟军在Logical Investigations发表最新研究成果
近日，逻辑学期刊Logical Investigations（俄罗斯科学院哲学所主办，Scopus数据库收录）发表威廉希尔体育哲学系石伟军论文“A boolean-algebraic approach to completeness for normal modal predicate logics” （“标准模态谓词逻辑完备性的一个布尔代数路径”）。文章介绍了一种创新的方法，用于证明标准模态谓词逻辑的完备性。传统的证明通常需要构造典范模型，其中可能世界被定义为具有特定属性的极大一致集合，并且重度依赖巴尔坎公式来保证这些世界的存在性。...
详细>>