共查询到18条相似文献,搜索用时 15 毫秒
1.
李娜 《河南大学学报(自然科学版)》2002,32(2):10-13
本文为道义模态逻辑D-系统建立布尔值模型。首先定义道义模成公式○α的布尔值‖○α‖;其次证明在该定义下,道义模态逻辑系统D1、D2和D3的所有公理的布尔值为1;最后证明集合论的ZFC公理系统的布尔值模型V^B(B是一个完全的布尔代数)也是道义模态逻辑系统D1、D2和D3的布尔值模型。 相似文献
2.
李娜 《南京大学学报(自然科学版)》2004,21(1):34-42
本文是为冯·赖特的一元和二元道义逻辑系统DT和DSR以及他1964年对DSR改造后的系统建立布尔值模型.因此,模态词O和P分别表示"应当"和"允许".为此,本文首先定义了模态公式Oα的布尔值‖ Oα‖和二元公式P(p/q)(或O(p/q))的布尔值‖ P(p/q)‖(或O(p/q)‖);其次证明在该定义下,道义逻辑系统DT和DSR等的所有公理的布尔值为1;最后证明集合论的ZFC公理系统的布尔值模型VB(B是一个完全的布尔代数)也是道义逻辑系统DT和DSR等的布尔值模型. 相似文献
3.
李娜 《河南大学学报(自然科学版)》2003,33(2):13-16
证明模态系统P5的协调性.即:证明了模态系统P5的所有公理的布尔值为1.亦即:V^B(B是一个完全的布尔代数)是模态命题系统P5的布尔值模型. 相似文献
4.
李娜 《河南大学学报(自然科学版)》2003,33(4):25-28
模态公式4、E和B是直观上难以确认是否成立的一类模态公式 文献[6]证明了:在模型〈VB,R,‖‖〉下,当R是VB上的任意一个二元关系时,模态公式4、E和B的布尔值不能确定 本文证明:当R是VB上自返的二元关系时,模态公式4、E和B的布尔值为1 因此,模态系统S4、S5和B是协调的 相似文献
5.
关于严格蕴涵系统的布尔值模型 总被引:3,自引:0,他引:3
李娜 《南京大学学报(自然科学版)》2003,20(2):161-168
本文是为Lewis的五个严格蕴涵系统建立布尔值模型.为此,本文首先定义了模态公式口α的布尔值‖口α‖;其次证明在该定义下,模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值为1;最后证明集合论的ZFC公理系统的布尔值模型VB(B是一个完全的布尔代数)也是严格蕴涵系统S1和S2的布尔值模型. 相似文献
6.
李娜 《河南大学学报(自然科学版)》2003,(2)
证明模态系统P5的协调性.即:证明了模态系统P5的所有公理的布尔值为1.亦即:VB(B是一个完全的布尔代数)是模态命题系统P5的布尔值模型. 相似文献
7.
关于模态命题系统的一种布尔值模型 总被引:3,自引:2,他引:1
李娜 《南京大学学报(自然科学版)》2001,18(1):109-113
本文首先定义了模态命题公式□a的布尔值,然后证明模态命题逻辑的正规系统K、D和T以及严格蕴涵系统S1和S2的所有公理的布尔值为1.最后,证明了VB是K.D和T以及S1和S2的布尔值模型. 相似文献
8.
9.
10.
文献^[1]中给出了聚合公理系统COG的布尔值模型A^B本文在^[1]的基础上讨论了A^B中的混合与混合原理。 相似文献
11.
李娜 《苏州科技学院学报(自然科学版)》2004,21(2):13-16
文献[7]证明了严格蕴涵系统S4的协调性,本文证明在严格蕴涵系统S4的基础上增加公理M所得到的系统S4.1的协调性。 相似文献
12.
13.
14.
沈恩绍 《北京师范大学学报(自然科学版)》1990,(3):9-17
给出模型论中弱力迫概念的一个语法特征。然后在此基础上引入弱力迫的一种布尔值模型表示,并给出这种表示对f-伴随理论的一些应用。 相似文献
15.
布尔值L—Fuzzy拓扑空间的紧性与分离性 总被引:1,自引:1,他引:0
周旭 《江西师范大学学报(自然科学版)》2001,25(2):107-111
对值域为布尔格的L-fuzzy拓扑空间的性质进行了讨论,证明了良紧,强紧和模糊紧在此类空间中是等价的,并讨论了L-fuzzy拓扑空间中紧性,分离性与和层通常拓扑空间(X,a(δ)中紧性,分离性之间的对应关系。 相似文献
16.
文献[2]没有解决严格蕴涵系统S3的协调性,本文证明严格蕴涵系统S3的协调性.为此,首先证明严格蕴涵系统P3的协调性(用布尔值模型方法);其次证明模态系统P3和严格蕴涵系统S3等价. 相似文献
17.
证明与模态命题系统S2-S4等价的系统P2-P4的布尔值为1,而分别与S1和S5等价的系统P1和P5的布尔值不能确定,由此,证明了V^B是P2-P4的布尔模型。 相似文献
18.
文献[1]证明△^(B)是公理系统GB的布尔值模型,本文首先定义△^(B)中元素关于B的一个反链的混合;然后,证明△^(B)中的混合原理;最后,利用它证明△^(B)(B≠{0,1})也是公理系统QM的布尔值模型。 相似文献