命题模糊逻辑系统中公式的理论可证度

来源 :河北师范大学学报：自然科学版 | 被引量 : 0次 | 上传用户：lycwmy01011

【摘要】

：

在命题模糊逻辑系统MTL的扩张系统Luk,G d,∏和L^＊中,探讨出了一种基于标准MTL-代数L=[0,1]判定理论Γ是否推出公式Β的新思路.首先引入了刻画理论Γ推出公式Β的程度的一种指

【作者】

：

张兴芳

【机构】

：

聊城大学数学科学学院

【出处】

：

河北师范大学学报：自然科学版

【发表日期】

：

2007年4期

【关键词】

：

命题模糊逻辑理论可证度计算公式 propositional fuzzy logic theory provable degree calculati

【基金项目】

：

山东省自然科学基金（Y2003A01）

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

在命题模糊逻辑系统MTL的扩张系统Luk,G d,∏和L^＊中,探讨出了一种基于标准MTL-代数L=[0,1]判定理论Γ是否推出公式Β的新思路.首先引入了刻画理论Γ推出公式Β的程度的一种指标——称为公式Β的理论Γ可证度,然后研究了它的性质.最后给出了命题模糊逻辑系统Luk中公式的理论可证度的计算公式.

其他文献

二元叠加码的检错性和纠错性

二元叠加码δ（n，d，k）是一个非适应性分组测试（NGT）算法的数学模型d-disjunct矩阵．Hamming距离决定着二元叠加码的检错性和纠错性，通过计算δ（n，d，k）的Hamming距离，得到了它的检错性和纠错

期刊

δ(ndk)矩阵D-DISJUNCT矩阵d-separable矩阵HAMMING距离检错纠错δ （ n d k ） matrix d-di

群分次环上的分次与无分次性质

利用冲积和分次环上的群环2个工具得到了关于分次环上的分次与无分次性的3个定理，即设G是有限群，R是G分次环，如果R是分次Jacobson环（或分次素本质环或分次本质幂零环），则R是Jacobso

期刊

Jacobson环素本质环本质幂零环Jacobson ring prime essential ring essential nilpotent ri

实Clifford分析中双正则函数的一些性质

研究了含有2个变量的正则函数,所谓的双正则函数.正则函数是单复分析中全纯函数在高维空间的推广,全纯函数的经典函数理论如Morera定理,开拓定理等都可推广到正则函数,同样也

期刊

双正则函数Morera定理开拓定理平均值定理biregular functions Morera theorem painleve theorem

弱Hopf代数在FBN环上的作用

设H是弱Hopf代数，A是H-模代数，A^H是其不变子代数．介绍并研究了弱Hopf代数及其上的冲积概念和性质．主要给出了在弱Hopf代数的情况下，A是FBN代数当且仅当A^H也是这一性质成立的条件

期刊

弱HOPF代数冲积FBN环weak Hopf algebra smash product FBN ring

一个6点8边图的图设计

主要讨论了一个6点8边图的图设计问题.利用成对平衡设计给出了图设计存在的递归构造，利用恰二可迁群有效地构造了所需的带洞图设计，且用直接构造的方法确定了作为递归构造基础

期刊

图设计带洞图设计不完全图设计graph design holey graph design incomplete graph design

d-界距离正则图中一类格的特征多项式

设Г是一个直径d≥3的d-界距离正则图,x∈V（Г）,P（x）是Г中包含x的所有强闭包子图的集合,并且P（x,i）是P（x）中所有直径为i的强闭包子图的集合.设￡（x,i）是P（x,i）中元素的交生成的集合.按反包

期刊

距离正则图强闭包子图d-界特征多项式distance-regular graph strongly closed subgraph d-boun

命题模糊逻辑系统中公式的理论可证度

其他学术论文