In Chapter 2,the notions of partial residuated lattices are introduced by firstly defining partial adjoint pairs.
第二章通过定义部分伴随对,引入了部分剩余格的概念。
参考来源 - 与剩余格相关的几类逻辑代数系统的研究·2,447,543篇论文数据，部分数据来源于NoteExpress
最后讨论40个算子对构成伴随对的情况。
Finally, 40 operator pairs constitute adjoint pairs or not are discussed.
讨论伴随对定义及其等价条件，改进伴随对存在的一个充分条件。
The definition of adjoint pair and equivalent condition are discussed. A sufficient condition of adjoint pair is improved.
先讨论伴随对定义及其等价条件，给出伴随对存在的一个充分条件；
First, it is discussed that the definition of adjoint pair and its equivalent condition, the sufficient condition of existence of adjoint pair is given.
应用推荐