期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
经典逻辑系统中的随机化再研究
1
作者
马巧云
吴洪博
《计算机科学与探索》
CSCD
北大核心
2017年第8期1354-1360,共7页
给出了经典命题逻辑系统中n元命题公式基于随机数列和随机映射的向量表示形式,利用命题公式的基于随机数列的向量表示形式给出公式的D-随机真度、公式间的D-随机相似度和D-随机伪距离的等价表示形式。说明了一个具体的n元经典命题公式...
给出了经典命题逻辑系统中n元命题公式基于随机数列和随机映射的向量表示形式,利用命题公式的基于随机数列的向量表示形式给出公式的D-随机真度、公式间的D-随机相似度和D-随机伪距离的等价表示形式。说明了一个具体的n元经典命题公式的D-随机真度最多只有22n种情况。利用命题公式间的D-随机相似度和D-随机伪距离的等价表示形式,给出了关于命题公式的D-随机真度、命题公式间的D-随机相似度和D-随机伪距离的一些性质的新的证明。
展开更多
关键词
经典命题逻辑系统
D-随机真度
D-随机相似度
D-随机伪距离
下载PDF
职称材料
计量逻辑学中的形式化推演方法
2
作者
于鹏
《宁夏大学学报(自然科学版)》
CAS
2014年第3期209-211,215,共4页
基于经典逻辑系统中的计量逻辑学,探讨了计量逻辑学中的形式化推理问题.结果表明,在注重数值计算的计量逻辑学中同样存在类似于语构理论的形式化推演方法,并给出了形式化推演的性质.
关键词
公式真度
计量
逻辑
学
形式化推理
经典命题逻辑系统
下载PDF
职称材料
经典逻辑系统中公式的真度及公式间伪距离的一种等价定义
被引量:
7
3
作者
马巧云
吴洪博
《模糊系统与数学》
CSCD
北大核心
2013年第1期28-33,共6页
给出了经典命题逻辑中公式的向量表示形式,利用向量表示形式给出公式的真度和公式间伪距离的定义,说明了这种定义与原有的概率形式的定义等价,得到了公式间的伪距离的一些简单性质以及在伪距离空间(F(s),ρ)中,逻辑连接词都是连续的。
关键词
经典命题逻辑系统
公式的向量表示
真度
伪距离
原文传递
题名
经典逻辑系统中的随机化再研究
1
作者
马巧云
吴洪博
机构
西安文理学院信息工程学院
陕西师范大学数学与信息科学学院
出处
《计算机科学与探索》
CSCD
北大核心
2017年第8期1354-1360,共7页
基金
国家自然科学基金No.61572016
西安科技计划项目No.2016CXYWL23~~
文摘
给出了经典命题逻辑系统中n元命题公式基于随机数列和随机映射的向量表示形式,利用命题公式的基于随机数列的向量表示形式给出公式的D-随机真度、公式间的D-随机相似度和D-随机伪距离的等价表示形式。说明了一个具体的n元经典命题公式的D-随机真度最多只有22n种情况。利用命题公式间的D-随机相似度和D-随机伪距离的等价表示形式,给出了关于命题公式的D-随机真度、命题公式间的D-随机相似度和D-随机伪距离的一些性质的新的证明。
关键词
经典命题逻辑系统
D-随机真度
D-随机相似度
D-随机伪距离
Keywords
classical propositional logic system
D-randomized truth degree
D-randomized similarity degree
Drandomized pseudo-metric
分类号
O141 [理学—基础数学]
下载PDF
职称材料
题名
计量逻辑学中的形式化推演方法
2
作者
于鹏
机构
陕西科技大学理学院
出处
《宁夏大学学报(自然科学版)》
CAS
2014年第3期209-211,215,共4页
基金
陕西省自然科学基础研究计划资助项目(2011JQ1015)
文摘
基于经典逻辑系统中的计量逻辑学,探讨了计量逻辑学中的形式化推理问题.结果表明,在注重数值计算的计量逻辑学中同样存在类似于语构理论的形式化推演方法,并给出了形式化推演的性质.
关键词
公式真度
计量
逻辑
学
形式化推理
经典命题逻辑系统
Keywords
truth degree of formula
quantitative logic
formal deduction method
classical proposition log-ic system
分类号
O142 [理学—基础数学]
下载PDF
职称材料
题名
经典逻辑系统中公式的真度及公式间伪距离的一种等价定义
被引量:
7
3
作者
马巧云
吴洪博
机构
西安文理学院数学与计算机工程学院
陕西师范大学数学与信息科学学院
出处
《模糊系统与数学》
CSCD
北大核心
2013年第1期28-33,共6页
基金
西安市科技计划项目(CXY1134WL10)
国家自然科学基金资助项目(10871121)
文摘
给出了经典命题逻辑中公式的向量表示形式,利用向量表示形式给出公式的真度和公式间伪距离的定义,说明了这种定义与原有的概率形式的定义等价,得到了公式间的伪距离的一些简单性质以及在伪距离空间(F(s),ρ)中,逻辑连接词都是连续的。
关键词
经典命题逻辑系统
公式的向量表示
真度
伪距离
Keywords
Classical Propositional Logic System The Vector Representation of Formula
Truth Degree pseudo-metric
分类号
O141 [理学—基础数学]
原文传递
题名
作者
出处
发文年
被引量
操作
1
经典逻辑系统中的随机化再研究
马巧云
吴洪博
《计算机科学与探索》
CSCD
北大核心
2017
0
下载PDF
职称材料
2
计量逻辑学中的形式化推演方法
于鹏
《宁夏大学学报(自然科学版)》
CAS
2014
0
下载PDF
职称材料
3
经典逻辑系统中公式的真度及公式间伪距离的一种等价定义
马巧云
吴洪博
《模糊系统与数学》
CSCD
北大核心
2013
7
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部