Copyright, © 1973-2002 by J. Jay Zeman
Generalized Normal Logic
Normal Implications, Bounded Posets, and the Existence of Meets
Quantum Logic with Implication
Two Basic Pure-Implicational Systems