Orthologic and quantum logic: models and computational elements

J. P. Rawling, S. A. Selesnick. Orthologic and quantum logic: models and computational elements. Journal of the ACM, 47(4):721-751, 2000. [doi]

Abstract

Abstract is missing.