布尔值

作品数：28被引量：21H指数：2
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：李娜王汝传邓勇张琳王杨更多>>
相关机构：河南大学南开大学中山大学皇家菲利浦电子有限公司更多>>
相关期刊：《北京师范大学学报（自然科学版）》《Chinese Quarterly Journal of Mathematics》《科学通报》《中山大学学报（社会科学版）》更多>>
相关基金：国家社会科学基金天津市自然科学基金国家自然科学基金天津市哲学社会科学研究规划项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
论集合论的模型被引量：2
《逻辑学研究》2019年第1期49-69,共21页李娜 何建锋 
国家社科基金重点项目"基于哲学逻辑的集合论研究"(16AZD036)
本文讨论了ZF的经典模型和非经典模型,梳理了它们的最新动态,并且将ZF的广义代数值模型推广到基于形式不一致逻辑的弗协调集合论。该推广过程的关键在于解决两个问题:第一,这类弗协调集合论是否包含不是一致的集合;第二,在模型中如何处...
关键词：集合论的模型 独立性 布尔值 拓扑斯 弗协调集合论 
2^n-布尔值逻辑：2-值命题逻辑的自然推广被引量：1
《模糊系统与数学》2013年第2期8-14,共7页周建仁 吴洪博 
国家自然科学基金资助项目(11171196)
将2-值命题逻辑的语义理论推广到了有限布尔代数,得到了2n-布尔值命题逻辑。同时本文给出了2n-布尔值命题逻辑应用的一些例子。
关键词：命题逻辑 布尔代数 2n-布尔值逻辑 应用 
严格蕴涵系统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 因...
关键词：布尔值 布尔值模型 模态系统 自返性 
关于模态命题公式的一种布尔值
《中山大学学报（社会科学版）》2003年第S1期101-104,共4页李娜 
文章定义了模态公式□_α的布尔值,证明了模态命题逻辑的正规系统K、D和T的所有公理的布尔值为1。
关键词：布尔值 模态命题逻辑 正规系统 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部