A Formalization of Logical Imaging for Information Retrieval Using Quantum Theory | IEEE Conference Publication | IEEE Xplore