Hardegree, Gary M. Material implications in orthomodular (and Boolean) lattices. (English) Zbl 0438.03060 Notre Dame J. Formal Logic 22, 163-182 (1981). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 21 Documents MSC: 03G99 Algebraic logic 03B99 General logic Keywords:material implication; Sasaki arrow; horseshoe; Boolean lattices; orthomodular lattice; strict implication × Cite Format Result Cite Review PDF Full Text: DOI