Quantum First-Order Logics That Capture Logarithmic-Time/Space Quantum Computability

Tomoyuki Yamakami

We introduce a quantum analogue of classical first-order logic (FO) and develop a theory of quantum first-order logic as a basis of the productive discussions on the power of logic…