摘要
本文给出了三类格值蕴涵算子公式.并以α→β=∨{x∈L|x∧α≤β}作为α蕴涵β的公式给出了格值命题逻辑推理的一些良好结论.
In this paper, three kinds of lattice-valued implication operator formulae are presented,and α inplication β is defined as α→β?= V {x∈ L|x∧α=β} and some good conclusions are presented about lattice-valued proposition logical reasoning.
基金
国家自然科学基金资助课题
关键词
格值蕴涵算子
格值命题逻辑推理
类型
公式
Lattice-valued implication operator
Lattice-valued prositionlogical reasoning
