Computational reasoning based on complemented distributive lattices. - Shu-Rong Jiang; Ju-Sheng Mi; Li Ma (Int. J. Mach. Learn. Cybern., 2015)