LIN Yunguo1, LI Yongming2*
(1 College of Computer and Information Sciences, Fujian Agriculture and Forestry University, Fuzhou 350002, Fujian, China; 2 School of Computer Science, Shaanxi Normal University, Xi′an 710119, Shaanxi, China)
Abstract:
At present, several problems exist in quantum logics such as only being suitable for closed quantum systems and the inability to formalize quantum measurement operators. In order to model and reason about open quantum systems, a logical language is proposed based on quantum measurement. Firstly, classical propositional formulas are taken as initial and local formulas, and term formulas are interpreted as quantum measurement operators. Secondly, the comparative formulas between quantum measurement operators and closed quantum sub-systems are logically defined as atomic propositions. Meanwhile, a set of quantum connectives are introduced. Finally, global formulas of our logic are inductively built. By comparison and analysis about several logics, the expression power of our logic is illustrated. As an axiomatic system, the related deduction theories are studied such as the inference rule and meta-theorems.
KeyWords:
quantum logic; quantum measurement; meta-theorem; inference rule
