剩余格

Residuated Lattices

剩余格是具备了一定条件的1 -广群 ,为了研究其结构 ,给出了剩余格的2个特征性质即剩余格中的每个元均为负的 ;一个抽象格L,当“∧”被取为运算时是剩余的 ,当且仅当L的对偶是一个布劳威尔逻辑.在这种情形下 ,剩余运算“∶”被特殊化为蕴涵运算“→”.

Residual Lattice is an 1-groupoid with some conditions.In order to research its construction,two special properties are provided. Every element in the residual lattice is negative. An abstract lattice L is residual when “∧” is taken as the gruoup operation, if and only if the dual of L is a Brouwerian logic. In this case, the residual operation“:” specializes to the implication operation “→”.