Normal, Sasaki, and classical implications
Tài liệu tham khảo
HermanL., MarsdenE., and PiziakR., ‘Implication Connectives in Orthomodular Lattices’, Notre Dame Journal of Formal Logic 16 (1975), 305–29.
PiziakR., ‘Orthomodular Lattices as Implication Algebras’, Journal of Philosophical Logic 3 (1974), 413–18.
ZemanJ. Jay, ‘Generalized Normal Logic’, Journal of Philosophical Logic 7 (1978), 225–243.