Author(s): Xu Yang
Pages: 96-101
Year: 1991 Issue:  1
Journal: Journal of Dalian Maritime University
Keyword:  格值蕴涵算子; 格值命题逻辑推理;
Abstract: 本文给出了三类格值蕴涵算子公式.并以α→β=∨{x∈L|x∧α≤β}作为α蕴涵β的公式给出了格值命题逻辑推理的一些良好结论.