摘要
在格值命题的逻辑推理下，给出了∨─∧格值蕴涵算子，并讨论了一些命题。本文在此基础上继续讨论一些性质，而且给出了基于这类格值蕴涵算子上的近似推理方法。
Under the condition of logical reasoning on lattice-valued propositions, paper[1] defined ∨-∧ lattice-valued implication operators, and discussed some tiopositions. On the basis of paper [1], this papertyontinues studying some properties and gives the approximate reasoning method on this kind of tattice-valued implication operators.
出处
《辽宁工学院学报》
1994年第4期88-90,共3页
Journal of Liaoning Institute of Technology(Natural Science Edition)
关键词
格值蕴涵算子
近似推理
逻辑推理
lattice-valued implication operator
approximate reasoning
logical reasoning
