1) normal residuated lattice
基于正规剩余格的逻辑系统
2) logical system specification
逻辑系统规格
3) normal residual lattice
正规剩余格
1.
The concept of normal residual lattice is introduced and some properties of normal residual lattice are given.
证明了剩余格和正则剩余格中一些典型的附加条件之间的等价性,引入了正规剩余格的概念并给出了其若干性质。
4) Complete Residuated Lattice-Valued Logic
完全剩余格值逻辑
1.
Fuzzifying Rings and Ideals Based on Complete Residuated Lattice-Valued Logic;
给出基于完全剩余格值逻辑上的不分明化环和理想(格上不分明化环和理想)两个概念,并进一步研究它们的一些基本代数性质;主要得到格上不分明化理想的交、和、积和商仍是格上不分明化理想。
5) finite-separable regular logical system
可有限分离的正规逻辑系统
1.
The main result is:For a finite-separable regular logical system which is stronger than if LST theorem and ω_1 compactness theorem hold on it,then.
主要结果是：如果是一强于的可有限分离的正规逻辑系统，且在上ＬＳＴ定理和ω_１－紧致性定理成立，则与等价。
6) Normal Modal Propositional Logic System
正规模态逻辑系统
1.
Discussing about the Completeness Proof of Normal Modal Propositional Logic System
对正规模态逻辑系统完全性证明的层层刨析,可以更好地把握和使用完全性证明方法。
补充资料：剩余格
在抽象代数中，剩余格是有着特定的简单性质的格，此性质适用于任何环的所有两端理想。
在这个上下文中，这些对象的研究可以回溯到1930年代。最近在各种多值逻辑的真实度的求值中形成这样的一个格来一般化布尔代数、heyting代数和多值代数。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条