Linear orthogonality spaces as a new approach to quantum logic | IEEE Conference Publication | IEEE Xplore