格值蕴涵算子相关论文
在格值命题的逻辑推理下,给出了∨─∧格值蕴涵算子,并讨论了一些命题。本文在此基础上继续讨论一些性质,而且给出了基于这类格值蕴涵......
本文给出了三类格值蕴涵算子公式,并以α→β=V{x∈L|xa≤β}作为a蕴涵β的公式给出了格值命题逻辑推理的一些良好结论。......