布尔模态的公理化（英文）

发布时间：2017-10-10 23:17

  本文关键词：布尔模态的公理化（英文）

  更多相关文章： 完全性 生成算子 公理化 复制方法 modalities modality universal intersection union axiom

【摘要】：布尔模态(即模态生成算子补、交、并)涉及到了完全性问题。并模态是模态可定义的,但是补和交都不是。这意味着证明包含这三个模态的逻辑的完全性不是一件简单直接的事情。Gargov和Passy使用复制方法从整体上处理这三个模态,但是,这个方法不适用于强完全性,也不能单独处理这三个模态。本文改进了这个方法,使得改进后的方法更具一般性,并且没有这两个不足之处。
【作者单位】： 北京师范大学哲学与社会学学院;浙江师范大学附属义乌实验学校;
【关键词】： 完全性;生成算子;公理化;复制方法;modalities;modality;universal;intersection;union;axiom;
【基金】：supported by the National Social Science Foundation of China(No.12CZX053) the Fundamental Research Funds for the Central Universitie(No.SKZZY201304)
【分类号】：B815.1
【正文快照】： 1 Introduction1.1 Boolean ModalitiesBoolean Modal Logic(BML),proposed in[4],is a normal modal logic and alsoa propositional dynamic logic.Its language is an extension of Propositional Calculus(PC)with a set of modalities.This set has a structure:the comp

【相似文献】

中国期刊全文数据库 前2条

1 霍书全;;Lukasiewicz3-值命题逻辑的强完全性证明[J];安徽大学学报(哲学社会科学版);2008年02期

2 ;[J];;年期

，

本文编号：1009163