在模糊逻辑系统中提出了广义有效推理；根据积分真度的性质,证明了广义有效推理的积分真度递减定理,从而在模糊逻辑系统中实现了根据......

对Lukasiewicz系统中的真度理论进行了进一步的研究。将n值Lukasiewicz系统中公式相对于有限理论的ΣΓ-真度理论与连续值Lukasiew......

在逻辑系统MTL中,对全体逻辑公式集上建立的逻辑伪度量空间进行研究,讨论了孤立点的情形,指出积分真度不为零的公式一定不是对应空......

利用计量逻辑学中真度理论的思想,首次对S-蕴涵的模糊逻辑系统的真度理论进行研究.在模糊逻辑与语义解释为乘积算子,蕴涵解释为其......

首先给出了强左连续-t模和SMTL命题逻辑系统的定义,证明了左连续的-t模为强左连续-t模当且仅当与之伴随的正则蕴涵算子为强正则蕴......

本文对所有正则蕴涵算子对应的逻辑系统类MTL进行语义研究,指出在MTL中可以建立连续赋值格时的公式积分真度理论,但却不能在这一类......

在赋值格为[0,1]的模糊逻辑系统L^＊中,本文利用序结构和赋值函数的性质研究公式的积分真度和伪距离,导出了积分真度和伪距离的若干......

研究了Lukasiewicz命题集的积分真度、发散度与相客度在[0，1]中的分布问题．利用一组公式所对应的McNaughtom函数，证明了Lukasiewicz逻......

在一类基于Frank三角范数的模糊逻辑系统中,借助逻辑公式A所诱导的函数引入逻辑公式A的积分真度概念,并利用积分真度定义公式间的......

基于左连续三角模的逻辑MTL,同样也是基于正则蕴涵算子的逻辑,其中左连续三角模和正则蕴涵算子是互为伴随对的,并且它们在同一个模......

近年来,模糊控制技术在应用方面取得了举世瞩目的成功。然而,作为其核心的模糊推理在数学基础上却并未无懈可击。所以,以研究模糊......

在Lukasiewiczn值命题逻辑中引入了公式的真度概念,得到了一个极限定理.表明当n趋于无穷时由公式的真度决定的真度函数τn收敛于积......