Patricia F. Lock

Connections among quantum logics. Part 1. Quantum propositional logics

Gary M. Hardegree, Patricia F. Lock, 1985 .

Connections among quantum logics. Part 2. Quantum event logics

Gary M. Hardegree, Patricia F. Lock, 1985 .

Tensor product of generalized sample spaces

R. Lock, Patricia F. Lock, 1984 .