Lattice-valued logic system supplys a logic foundation for intelligent information processing.
格值逻辑系统为智能信息处理提供了一种逻辑基础。
参考来源 - 格蕴涵代数中滤子和理想的研究Lattice-valued logic is an important kind of non-classical logic and an extension of both classical logic and fuzzy logic.
格值逻辑是一种重要的非经典逻辑，它是经典逻辑和模糊逻辑的推广。
参考来源 - 关于格值逻辑及自动推理的研究·2,447,543篇论文数据，部分数据来源于NoteExpress
其结果描述了这些代数内部结构的特征，同时也为从语义的角度进一步研究格值逻辑系统提供了一个新的途径。
Those results describe the characterizations of interior structures of those algebras, and also offer a new way for further researching lattice-valued logic systems from the semantics.
将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上。
The two value weak model for first order logic with generalized quantifier Q is generalized to be valued in complete weak complemented lattices.
应用推荐