摘要
本文讨论以格蕴涵代数为真值域的格值命题逻辑系统Ｌ（Ｘ）的语法问题，给出了系统的公理和推演规则，并证明了系统的可靠性定理、演绎定理＊及协调性定理。
In this paper , the syntax of lattice valued propositional logic system L (X ) was discussed , the axiom and rules of inference of L ( X ) were given , the soundness theorem deduction theorem and consistency theorem were proved.
出处
《模糊系统与数学》
CSCD
1998年第1期10-19,共10页
Fuzzy Systems and Mathematics
基金
国家自然科学基金
