位置：成果数据库 > 期刊 > 期刊详情页
Godel n 值命题逻辑系统的真度理论
  • ISSN号：1002-8331
  • 期刊名称：《计算机工程与应用》
  • 时间：0
  • 分类：O142[理学—数学;理学—基础数学]
  • 作者机构：[1]延安大学数学与计算机科学学院,陕西延安716000
  • 相关基金：国家自然科学基金重点项目(No.11531009);国家自然科学基金(No.11471007);陕西省自然科学基金(No.2014JM1020);延安大学研究生创新基金.
作者： 朱乃调[1], 惠小静[1], 高晓莉[1], 高姣[1]
关键词： Godeln命题逻辑系统, 真度, 相似度, 伪距离, Godel n -valued propositional logic system, truth degree, similarity degree, pseudo-metric
中文摘要：

首先在Godeln值命题逻辑系统中添加了新的连接词Δ,～，给出了Godeln值命题逻辑系统中命题公式间的真度、相似度和伪距离的定义；讨论了在该系统下它们的一些相关性质，并给出了相应的证明。

英文摘要：

The new connectorsΔand～are presented in G?del n-valued propositional logic system in this paper,the definition of truth degree,similarity degree and pseudo-metric among formulas are given in G?del n-valued propositional logic system,some related properties of them among formulas are discussed under the system,and the corresponding certificate is presented.

同期刊论文项目
复杂推理的序、代数和逻辑方法及其计量化模型
期刊论文 16
基于对合否定的SBL公理化扩张系统的程度化推理及逻辑控制研究
期刊论文 25
同项目期刊论文
关于一类广义半无限向量分式规划的对偶性研究
Godel n值命题逻辑系统中的Δ真度
Goguen命题逻辑系统公理化扩张的k随机真度理论
离散T-S模糊双线性随机系统的模糊观测器控制
逻辑系统RDP中广义重言式的语义MP、HS规则
关于正整数的四次方部分数列的和
Goguen命题逻辑系统公理化扩张的Γ-k真度理论及性质
非光滑多目标分式规划的对偶条件
包含Smarandache幂函数的均值问题
左-(n,2)语言的一些例子
Euler函数方程φ（xy）=11（φ（x）＋φ（y））的正整数解
Cohen-Sutherland直线剪裁算法改进
Hilbert空间中C-耗散算子的性质
伪Smarandache无平方因子函数与欧拉函数的混合均值
关于不定方程组x^2-12y^2=1与y^2-Dz^2=4的公解
关于伪Smarandache函数与F.Smarandache LCM函数的混合均值
关于丢番图方程（20n）^x＋（99n）^y=（101n）^z
基于主成分分析法的用电量预测模型
复合Linex损失下艾拉姆咖分布参数的贝叶斯估计
关于Smarandache双阶乘函数的一个混合均值
一个包含Smarandache Ceil函数的对偶函数的方程
二元不定方程整数解的MATLAB解法
一个关于Smarandache LCM对偶函数的方程
a^＊上的P-n-右析取语言
模态逻辑系统Ｓ４中的度量结构
FI代数中基于相对非的滤子
An Equivalent of Algebraic Ω-Categories
NBR0代数上的（十）运算和性质
弱MTL-代数上的几种演绎系统及其商代数
余Frame范畴中的等化子和余等化子结构
Quantale系统的嵌入
IMTL-代数的零化算子和?理想及其相互关系
Quantale代数核映射及其扩张
模糊S-偏序集的内射壳
纳米改性水性聚氨酯的制备与性能研究
纳米二氧化硅表面改性研究
复合钒钛酸干凝胶薄膜的制备及表征
复合钒钛酸干凝胶薄膜的湿敏特性研究
纳米改性水性聚氨酯的研究进展
期刊信息
  • 《计算机工程与应用》
  • 北大核心期刊（2014版）
  • 主管单位:中国电子科技集团公司
  • 主办单位:华北计算技术研究所
  • 主编：怀进鹏
  • 地址：北京市海淀区北四环中路211号北京619信箱26分箱
  • 邮编：100083
  • 邮箱：ceaj@vip.163.com
  • 电话：
  • 国际标准刊号：ISSN：1002-8331
  • 国内统一刊号：ISSN：11-2127/TP
  • 邮发代号:82-605
  • 获奖情况:
  • 1. 2012年首批获得中国学术文献评价中心发布的 “...,2. 2001年获得新闻出版署“中国期刊方阵双效期刊”,3. 2008年首批入选国家科技部“中国精品科技期刊...,4.2003年-2011年连续获得工业和信息化部期刊最高...
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,波兰哥白尼索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:97887