Propositional calculus for adjointness lattices. Nehad N. Morsi, E. A. Aziz Mohammed, M. S. El-Zekey (2002) Mathware and Soft Computing