论文部分内容阅读
在经典命题逻辑系统，Lukasiewicz命题逻辑系统，C(o)del命题逻辑系统和R0-命题逻辑系统上定义了理论Γ的广义根并讨论其性质，证明了当一个理论Γ有广义根时它的结论集D(Γ)的结构完全由广义根所确定，证明了这些命题逻辑系统的每一个有限理论Γ都有广义根，并且给出了广义根的构造。应用广义根的性质，从语构观点讨论Fuzzy推理的逻辑形式，获得了Fuzzy推理的非模糊形式和几个FMP形式的计算公式。