Quantum logic as motivated by quantum computing. - J. Michael Dunn; Tobias J. Hagge; Lawrence S. Moss; Zhenghan Wang (J. Symb. Log., 2005)

QL(ℂn) determines n. - Tobias J. Hagge (J. Symb. Log., 2007)