1) normal residual lattice
正规剩余格
1.
The concept of normal residual lattice is introduced and some properties of normal residual lattice are given.
证明了剩余格和正则剩余格中一些典型的附加条件之间的等价性,引入了正规剩余格的概念并给出了其若干性质。
2) regular residual lattice
正则剩余格
1.
Some additional conditions of residual lattice or regular residual lattice are proved to be (equivalent to) each other.
证明了剩余格和正则剩余格中一些典型的附加条件之间的等价性,引入了正规剩余格的概念并给出了其若干性质。
2.
Based on discussing the relationship between regular FI-algebras and regular residual lattice,the relationship between FI-algebras and basis R0-algebras has been investigated.
研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相匹配的R0-代数以及吴洪博教授提出的基础R0-代数和基础L*系统,提出了WBR0-代数的观点,讨论了它与BR0-代数的关系,简化了BR0-代数的定义,在讨论正则FI-代数与正则剩余格之间关系的基础上,讨论了BR0-代数与FI-代数的相互关系。
3) (regular) residuated lattice
(正则)剩余格
5) normal residuated lattice
基于正规剩余格的逻辑系统
6) co-residuated lattice
余剩余格
1.
Ideals and embedding theorem of co-residuated lattices;
余剩余格的理想和嵌入定理
补充资料：剩余格
在抽象代数中，剩余格是有着特定的简单性质的格，此性质适用于任何环的所有两端理想。
在这个上下文中，这些对象的研究可以回溯到1930年代。最近在各种多值逻辑的真实度的求值中形成这样的一个格来一般化布尔代数、heyting代数和多值代数。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条