【摘 要】
：
在维瑟（Albert Visser）的基本命题逻辑（BPL）基础上增加公理（p→q）∨（（p→q）→p）得到的逻辑LB相对于弱连通传递框架类是完全的。增加达米特（M.Dummett）公理（p→q）∨（q→p）得到的逻辑LD是不完全
【基金项目】
：
国家社科基金青年项目“模态可定义性理论研究”（12CZX054）
论文部分内容阅读
在维瑟（Albert Visser）的基本命题逻辑（BPL）基础上增加公理（p→q）∨（（p→q）→p）得到的逻辑LB相对于弱连通传递框架类是完全的。增加达米特（M.Dummett）公理（p→q）∨（q→p）得到的逻辑LD是不完全的。本文还证明LB具有有穷模型性质,但是不具有两常元性质和析取性质。
其他文献
在佘祥林被正式宣判无罪开释后,与许多人预料的不一样,出狱后第一次娓娓道出心事的佘祥林,没有讷讷寡言,没有激烈怨愤,没有涕泪横流地感恩戴德,没有"他生未卜此生休"的心灰意
本文在直觉主义逻辑和海廷算术HA的基础上,重新考察了去引号模式和组合真公理,得到了三种直觉主义的类型真理论:IDT、ICT和SICT,并探讨了它们的一些基本性质。本文证明了三者
城乡二元结构式的发展造就了山东省城乡收入、消费能力的差距越来越大,同时也引起了一系列的社会问题,这些差异的形成很大程度上源于产业结构发展的不均衡和资源配比的严重失
本文的主要研究对象是服务于英文法律语言处理的类型逻辑与范畴语法。首先，分析并总结英文法律语言主要的句法特征，由此提出刻画这些特征的类型逻辑与对应的范畴语法。同时，证明
我国劳动力市场城乡一体化进程备受关注,但受制于测评技术,至今仍缺乏城乡一体化水平的测量信息.文章基于商品市场一体化水平测评的“相对价格方差”法,比较了商品市场“一价
目的探讨采用经阴道超声检查对早期宫外孕所体现的临床价值。方法对在我院接受检查的100例高度怀疑为宫外孕患者进行分析。这100例患者均接受了经阴道超声检查，95例诊断为宫外
2005年以来,受多种因素影响,国际粮食价格出现大幅波动,表现出明显的暴涨暴跌特征。为防止国际粮食的波动向国内传导,进而导致国内粮价的不稳定,政府采取了一系列干预政策试
鲍博尼等人（P.Balbiani et al.,[2]）提出了任意公开宣告逻辑（APAL）。它是普拉策（J.Plaza,[7]）公开宣告逻辑的扩展,加入了关于宣告的量词。这种逻辑已经被公理化,但它的完全性证明总
以＂5.12汶川地震＂为背景,针对地震影响范围内的建设工程项目因地震而造成的经济损失和工期延误问题,作者在研究现行法律、法规和政府文件、各类常用合同范本相关条款的基础上,