其结果描述了这些代数内部结构的特征，同时也为从语义的角度进一步研究格值逻辑系统提供了一个新的途径。

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.

youdao

将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上。

The two value weak model for first order logic with generalized quantifier Q is generalized to be valued in complete weak complemented lattices.

youdao

将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上。

The two value weak model for first order logic with generalized quantifier Q is generalized to be valued in complete weak complemented lattices.

youdao