Kalmbach implication in orthomodular posets | IEEE Conference Publication | IEEE Xplore