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