论文部分内容阅读
对n值Goguen命题逻辑系统进行公理化扩张记为Goguen~,△。在该系统中添加了新的连接词~,△,给出了Goguen n值命题逻辑系统中命题公式的真度、相似度和伪距离的定义,证明了该真度的MP规则、HS规则及相关性质。
n值乘积命题逻辑系统的真度研究
【摘 要】
：
对n值Goguen命题逻辑系统进行公理化扩张记为Goguen~,△。在该系统中添加了新的连接词~,△,给出了Goguen n值命题逻辑系统中命题公式的真度、相似度和伪距离的定义,证明了该
【机 构】
：
延安大学数学与计算机科学学院
【出 处】
：
延安大学学报:自然科学版
【发表日期】
：
2021年1期
【基金项目】
：
国家自然科学基金项目资助(11471007,61763045),国家级大学生创新创业训练计划项目资助(201910719023),延安大学研究生教育创新计划项目(YCX2020096)
其他文献
中国石油广西石化公司2020年停工大检修,大庆石化建设有限公司承担350万吨/年重油催化裂化装置检修任务。外取热器是催化最大的换热器,共2台,对外取热器E101A/B管束拆装、更
利用机器视觉技术获取工业现场目标产品图像。通过图像预处理、图像分析,实现识别区域的动态划分。提出了一种高效图像模板匹配算法,实现工业产品的在线分类。
当代高校马列文论课教学水平提升的关键要素是：加强对马列文论原典的解读，努力克服传统的思维方式与单一知识结构的局限，同时要坚持把马列文论的基本原理与当代文艺创作与文艺批
现如今,我国的经济在快速发展,社会在不断进步,农业在我国发展十分迅速,农业是国家基础性支柱产业之一,其重要性不言而喻。农业机械是现代农业生产中高新科学技术的运用成果,
目的探讨孕妇孕前体质量指数(BMI)、孕期增重对孕妇妊娠结局的影响。方法选取本院1427例孕妇的临床资料进行回顾性分析。根据孕前BMI情况,将孕妇分为消瘦组(BMI<18.5 kg/m 2)
新型微显示技术--液晶硅显示技术LCOS是一种全新的数码成像技术,也称数字硅基反射液晶显示技术,具有大屏幕、高亮度、高分辨率、省电等诸多优势,用LCOS技术制作高分辨率光阀
＂订单式＂教育是近年来我国高等教育中出现的一种新的办学和人才培养模式。＂订单式＂培养模式将人才培养直接与社会人才需求挂钩,人才实践技能得到了提高。随着高等教育的深入发展,
随着公民权利意识的增强,隐私保护逐渐为公众所重视,大学生这一特殊群体的隐私问题也不容忽视。根据高校档案管理中的隐私权保护的现状与存在的问题,提出了完善高等院校大学