逻辑系统

作品数：710被引量：1324H指数：17
导出分析报告
相关领域：理学哲学宗教更多>>
相关作者：吴洪博王国俊惠小静张兴芳隋云云更多>>
相关机构：陕西师范大学芯华章科技股份有限公司延安大学聊城大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家社会科学基金陕西省自然科学基金广西教育厅科研项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 学科=理学—数学x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
n值R_(0)命题逻辑系统中公式的条件随机真度
《湖北大学学报（自然科学版）》2024年第1期133-140,共8页许倩 惠小静 南琼 
国家自然科学基金(12261090)资助。
基于条件概率的思想和赋值集的随机化方法,在n值R_(0)命题系统中提出公式的条件随机真度,证明条件随机真度的MP规则和HS规则。其次,引入公式间的条件随机相似度和条件随机伪距离,建立条件随机逻辑度量空间,进一步给出在条件Γ下的近似...
关键词：条件随机真度 条件随机相似度 条件随机逻辑度量空间 
K^(*)■谓词逻辑系统公理化真度的运算性质研究
《宁夏大学学报（自然科学版）》2023年第4期323-327,共5页鲁星 惠小静 王波 
国家自然科学基金资助项目(12261090)。
以一阶谓词逻辑中公理化真度的定义和性质为基础,对K^(*)■谓词演算系统中的公式真度进行了研究,分析了含量词、交算子和蕴涵算子的公理化真度的运算性质,给出了将复杂公式的真度转换为几个简单公式的真度进行计算的方法.
关键词：K^(*)■谓词演算系统 公理化真度 真度 
命题逻辑系统L_(n)^(*)中理论的p-随机发散度的分布研究被引量：1
《系统科学与数学》2023年第9期2310-2318,共9页惠小静 南琼 许倩 
国家自然科学基金(12261090)资助课题。
在命题逻辑系统L_(n)^(*)中提出了p-随机真度,p-随机相似度,p-随机伪距离的概念,建立了p-随机逻辑度量空间(F(S),ρp).在p-随机逻辑度量空间(F(S),ρp)中提出了理论的p-随机发散度的概念,指出理论的p-随机发散度是和随机n值分布序列p=(p...
关键词：p-随机真度 p-随机伪距离 p-随机逻辑度量空间 p-随机发散度 
MTL∀谓词逻辑系统公理化真度及其相似度的性质研究
《湖北大学学报（自然科学版）》2023年第2期198-204,共7页王波 惠小静 马田雨 鲁星 
国家自然科学基金(11471007,61763045)资助。
命题逻辑及谓词逻辑的计量化是近期的一个研究热点,本研究基于左连续三角模的谓词演算系统MTL∀,给出特定形式公式的真度取值范围,并研究含量词公式的相似度性质.
关键词：谓词逻辑系统MTL∀ 公理化真度 相似度 
NM理论中积分真度的统一理论
《西北工业大学学报》2023年第2期439-445,共7页王波 惠小静 鲁星 
国家自然科学基金(12261090)资助。
基于在幂零极小逻辑NM(nilpotent minimun)命题逻辑系统中,通过将公式诱导的函数进行积分的方法提出了公式的积分真度概念,利用积分不变性证明了积分真度MP规则、HS规则;在NM命题逻辑系统的全体公式之集上引入了积分相似度和积分伪距离...
关键词：NM命题逻辑系统 积分真度 伪距离 相容度 
三值乘积逻辑系统中公式关于有限理论的Γ-绝对真度
《延安大学学报（自然科学版）》2023年第1期63-66,73,共5页李顺琴 陈子涵 
国家自然科学基金项目(12261090);陕西省科技计划项目(2020JM-552);国家级大学生创新创业训练计划项目(202110719039)。
借助逻辑公式所诱导出的函数,在系统π_(3)中给出了公式关于有限理论的Γ-绝对真度、Γ-绝对相似度和Γ-伪距离的定义,并探讨了Γ-绝对真度的MP规则、HS规则及相关性质。从而丰富了乘积逻辑系统中真度的研究成果。
关键词：乘积逻辑 Γ-绝对真度 Γ-绝对相似度 伪距离 
K^(*)∀谓词逻辑系统中相似度及伪距离研究
《延安大学学报（自然科学版）》2022年第4期103-107,共5页鲁星 惠小静 王波 
国家自然科学基金项目(12261090)。
从一阶逻辑系统的相似度出发,结合谓词演算系统K^(*)∀,以公理化真度为基础讨论了公式之间相似度和伪距离的运算性质,对相似度性质进行了简化,并对K^(*)∀中闭公式相似度及伪距离的计算方法和性质作进一步推广。
关键词：K^(*)∀谓词逻辑系统 相似度 伪距离 
恒久的数学定理
《知识就是力量》2022年第12期46-49,共4页王治钧 
数学的意义是什么?如果有人问,数学的意义是什么,你会怎么回答呢?有些数学家对这个问题的回答是,数学本身就是意义。他们认为,一套能自圆其说的逻辑系统本身就是意义,为什么一定要给它找一个“用处”?有些数学家属于谆谆善诱型,就像你...
关键词：数学老师 逻辑系统 数学定理 善诱 数学家 数学本身 工程师 自圆其说 
BL■谓词逻辑系统中相似度计算方法
《沈阳大学学报（自然科学版）》2022年第4期328-332,338,共6页郝娇 惠小静 马硕 
国家自然科学基金资助项目(11471007,61763045)。
以一阶逻辑公理化真度概念为基础,从公式间相似度出发,结合谓词演算系统BL■,首先讨论了含强等价算子的相似度性质,然后根据公理化真度的性质简化了相似度的运算方法,最后给出了闭公式相似度的计算方法及性质。
关键词：谓词逻辑系统 相似度 计算方法 公理化真度 强等价算子 
MTL■谓词逻辑系统公理化真度的运算性质研究
《宁夏大学学报（自然科学版）》2022年第2期136-140,共5页王波 惠小静 鲁星 
国家自然科学基金资助项目(11471007,61763045)。
针对命题逻辑及谓词逻辑的计量化这一研究热点,在基于左连续三角模的谓词演算系统MTL■中,对公理化真度的计算方法、运算性质、逻辑算子之间的关系进行了研究.
关键词：谓词逻辑系统MTL■ 公理化真度 计量逻辑 
全选清除导出
共27页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部