形式演绎系统相关论文
简要介绍近年来得到快速发展的基于三角模的模糊逻辑理论,主要包括它的背景,几种相关的代数结构,几个重要的形式演绎系统.重点讨论......
作为模糊控制的主要理论依据，模糊推理及相应的聚合规则有多种不同的方法，但似乎缺少严密的逻辑基础，存在不少问题。该文在分析了这些......
该文针对模糊系统理论研究的基础-模糊逻辑的形式演绎系统,将模糊集(概念的模糊化)和包含度(关系的模糊化)结合在一起,得到了一些......
对著名的形式演绎系统L*做了进一步的研究，得到一些新定理。在系统L*中引入新的二元运算，讨论了这种运算的性质，并由此得到了形式系统......
研究了模糊逻辑的形式演绎系统L*及R0-代数的性质,得到形式系统L*的两个更简捷的等价系统,证明了R0-代数的对偶代数是有界逆序对合......
研究了模糊命题演算的形式演绎系统＊以及在语义上相关的修正的Kleene逻辑系统－／W，W，Wk和R0代数，讨论了算子×：F（S）×F（S）→F（S）的一些基......
研究了模糊逻辑的形式演绎系统Y^*及R0-代数的性质，得到形式系统Y^*的两个更简捷的等价系统，证明了R0-代数的对偶代数是有界逆序对合......
从语义和语法两个方面将形式演绎系统f层次化，得到f的一个扩张，从而增强了系统f的表达能力，使之能更有效地应用于模糊系统的研究，。......
本文提出泛逻辑学在理想状态(广义相关系数h=0．5．广义自相关系数k=0．5)下的形式演绎系统B。讨论了商代数[F]的性质。进一步证明了形式......
UB代数是理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下泛逻辑的代数系统.本文引入UB代数滤子的概念,讨论了UB代数的一系列......
研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相匹配的R0-代数,以及Petr Hajek建立的模糊命题演算系统BL和......
R0-代数是基于系统研究形式演绎系统∫*而提出的一类逻辑代数.本文证明了一个R0-代数的所有MP-滤子所成的集合分别构成一个Brouwer......
对著名的形式演绎系统T做了进一步的研究，得到一些新定理，在系统T中引入新的二元运算，讨论了这各运算的性质，并由此得到了形式系统T中......
