A Presentation of Quantum Logic Based on an ::::and then:::: Connective

Daniel Lehmann. A Presentation of Quantum Logic Based on an ::::and then:::: Connective. Journal of Logic and Computation, 18(1):59-76, 2008. [doi]

Abstract

Abstract is missing.