布尔值模型

作品数：23被引量：18H指数：2
导出分析报告
相关领域：理学哲学宗教更多>>
相关作者：李娜李娜栾静闻郭泽深李昱更多>>
相关机构：河南大学南开大学中山大学武汉大学更多>>
相关期刊：《Chinese Quarterly Journal of Mathematics》《数学杂志》《河南大学学报（自然科学版）》《南京大学学报（数学半年刊）》更多>>
相关基金：国家社会科学基金天津市自然科学基金天津市哲学社会科学研究规划项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
严格蕴涵系统S3的协调性被引量：1
《南京大学学报（数学半年刊）》2005年第1期23-27,共5页李娜  李季  
国家自然科学基金，天津市自然科学基金
文献[2]没有解决严格蕴涵系统S3的协调性,本文证明严格蕴涵系统S3的协调性.为此,首先证明严格蕴涵系统P3的协调性(用布尔值模型方法);其次证明模态系统P3和严格蕴涵系统S3等价.
关键词：严格蕴涵系统 协调性 布尔值模型 等价性 
模态系统P_1的协调性
《信阳师范学院学报（哲学社会科学版）》2005年第3期15-19,共5页李娜 
国家哲学社会科学基金项目(04BZX047)
本文证明模态系统P1的协调性。为此,首先证明严格蕴涵系统S1的协调性(用布尔值模型方法);其次证明模态系统P和严格蕴涵系统S等价。
关键词：严格蕴涵系统 协调性 布尔值模型 等价性 
关于严格蕴涵系统的布尔值模型（续）
《Chinese Quarterly Journal of Mathematics》2004年第4期346-349,共4页李娜 刘华珂 
The reference [4] proved the consistency of S1 and S2 among Lewis' five strict implication systems in the modal logic by using the method of the Boolean-valued model. But, in this method, the consistency of S3, S4 and...
关键词：布尔值模型 严格蕴涵系统 VB 
关于道义逻辑系统的一种布尔值模型
《南京大学学报（数学半年刊）》2004年第1期34-42,共9页李娜 
本文是为冯·赖特的一元和二元道义逻辑系统DT和DSR以及他1964年对DSR改造后的系统建立布尔值模型．因此，模态词O和P分别表示“应当”和“允许”.为此，本文首先定义了模态公式Oα的布尔值‖Oα‖和二元公式P(p/q)(或O(p/q))的布尔值‖...
关键词：道义逻辑 布尔值 布尔值模型 集合论 
模态系统S4.1的协调性
《苏州科技学院学报（自然科学版）》2004年第2期13-16,共4页李娜 
国家社会科学基金(04BZX047);天津市"十五"社科研究规划2003年度项目(TJ03-ZX009)
文献眼7演证明了严格蕴涵系统S4的协调性,本文证明在严格蕴涵系统S4的基础上增加公理M所得到的系统S4.1的协调性。
关键词：严格蕴涵系统 协调性 布尔值模型 等价性 
关于严格蕴涵系统的布尔值模型被引量：4
《南京大学学报（数学半年刊）》2003年第2期161-168,共8页李娜 
本文是为Lewis的五个严格蕴涵系统建立布尔值模型.为此,本文首先定义了模态公式口α的布尔值‖口α‖;其次证明在该定义下,模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值为1;最后证明集合论的ZFC公理系统的布尔值模型VB(B是一个完全...
关键词：严格蕴涵系统 布尔值 布尔值模型 
关于模态命题公式4、E和B的布尔值
《河南大学学报（自然科学版）》2003年第4期25-28,共4页李娜 
全国普通高等学校人文社会科学重点研究基地基金资助项目(02JAZJD720018).
模态公式4、E和B是直观上难以确认是否成立的一类模态公式 文献[6]证明了:在模型〈VB,R,‖‖〉下,当R是VB上的任意一个二元关系时,模态公式4、E和B的布尔值不能确定 本文证明:当R是VB上自返的二元关系时,模态公式4、E和B的布尔值为1 因...
关键词：布尔值 布尔值模型 模态系统 自返性 
关于模态命题系统P_5的协调性被引量：2
《河南大学学报（自然科学版）》2003年第2期13-16,共4页李娜 
普通高等学校人文社会科学重点研究基地基金资助(02JA 2JD 720018).
证明模态系统P5的协调性.即:证明了模态系统P5的所有公理的布尔值为1.亦即:VB(B是一个完全的布尔代数)是模态命题系统P5的布尔值模型.
关键词：布尔值 布尔值模型 模态系统 自返性 
道义逻辑D──系统的一种布尔值模型被引量：1
《河南大学学报（自然科学版）》2002年第2期10-13,共4页李娜 
普通高等学校人文社会科学重点研究基地基金资助 (中山大学逻辑基地 ) ;河南大学科研基金资助
本文为道义模态逻辑D—系统建立布尔值模型 .首先定义道义模态公式○α的布尔值‖○α‖ ;其次证明在该定义下 ,道义模态逻辑系统D1、D2 和D3 的所有公理的布尔值为 1;最后证明集合论的ZFC公理系统的布尔值模型VB(B是一个完全的布尔代...
关键词：道义逻辑 布尔值 布尔值模型 
关于模态命题系统的一种布尔值模型被引量：5
《南京大学学报（数学半年刊）》2001年第1期109-113,共5页李娜 
普通高等学校社会社会科学重点研究基地基金
本文首先定义了模态命题公式□a的布尔值,然后证明:模态命题逻辑的正规系统K、D和T以及严格蕴涵系统S1和S2的所有公理的布尔值为1.最后,证明了VB是K.D和T以及S1和S2的布尔值模型.
关键词：布尔值 布尔值模型 模态公理 正规系统 模态命题系统 布尔代数 严格蕴涵系统 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部