Ma Zherui Wu Wangming Logical operators on complete lattices. 77-97 1991 55 Inf. Sci. 1-3 http://dx.doi.org/10.1016/0020-0255(91)90007-H db/journals/isci/isci55.html#ZheruiW91