论文部分内容阅读
在n值R0-命题逻辑系统L？n中,给出公式关于有限理论的一个更为直观的Γ-绝对真度概念,讨论它的一些重要性质和推理规则,并利用Γ-绝对真度定义公式间的Γ-绝对相似度和伪距离.
n值命题逻辑系统Ln^*中公式Γ-的绝对真度理论
【摘 要】
：
在n值R0-命题逻辑系统L？n中,给出公式关于有限理论的一个更为直观的Γ-绝对真度概念,讨论它的一些重要性质和推理规则,并利用Γ-绝对真度定义公式间的Γ-绝对相似度和伪距离.
【机 构】
：
延安大学数学与计算机科学学院
【出 处】
：
贵州大学学报：自然科学版
【发表日期】
：
2017年5期
【基金项目】
：
国家自然科学基金项目资助（11471007）,陕西省科技计划项目资助（2014k15-03-07）,2016年国家级大学生创新创业训练计划项目资助（201610719003）
其他文献
为了全面掌握毕节地区植烟土壤的耕深现状,选取了毕节市8个县区植烟地的492个采样点,实地测定了耕深、犁底层厚度等相关指标,从而获得了毕节烟区的土壤深耕数据。根据调研结
本文通过对比中西社交指示语中的称谓语,根据其礼貌程度将其分别划分为三个礼貌等级,再根据语用等效原则,提出了在翻译中应该遵循的译文和原文礼貌等级一致的礼貌等效翻译假
应法国奥芬歌剧联合会主席布里杰特·希贝尔的邀请，2000年7月31日至8月14日，在法国国际音乐节之际，河北省交响乐团赴法进行了访问演出。
聚羧酸类减水剂具有低掺量、高减水率、坍落度损失小等优点,是高性能混凝土中不可缺少的组分,是混凝土外加剂研究的热点领域。本文从作用机理、合成工艺和结构参数与性能三个
本文利用集值映射图像之间的Hausdorff距离定义了度量，在图像拓扑意义下，将有限理性应用到上半连续集值映射的不动点问题，证明了大多数的不动点问题（Baire分类的意义下）都是结构稳