模糊命题逻辑系统的计量化
Quantified Fuzzy Propositional Logic System作者机构:桂林航天工业学院理学部广西桂林541004 桂林航天工业学院信息工程系广西桂林541004
出 版 物:《模糊系统与数学》 (Fuzzy Systems and Mathematics)
年 卷 期:2016年第30卷第4期
页 面:68-75页
核心收录:
学科分类:01[哲学] 0101[哲学-哲学] 010104[哲学-逻辑学] 07[理学] 070104[理学-应用数学] 0701[理学-数学]
摘 要:在模糊命题逻辑系统中提出了公式的随机真度的概念,证明了模糊命题逻辑系统中有效推理的随机真度关系定理。运用随机真度关系定理证明了逻辑算子,→的连续性,给出了公式间距离的计算方法。最后,在系统L*中提出了三种近似推理模式,并讨论了它们之间的关系。