Weakly complete axiomatization of exogenous quantum propositional logic
arXiv:math/0503453 · doi:10.1016/j.ic.2006.02.001
Abstract
A weakly complete finitary axiomatization for EQPL (exogenous quantum propositional logic) is presented. The proof is carried out using a non trivial extension of the Fagin-Halpern-Megiddo technique together with three Henkin style completions.
28 pages
References in corpus (1)
Cited by in corpus (9)
- Quantum Temporal Logic
- Verification Logics for Quantum Programs
- QReach: A Reachability Analysis Tool for Quantum Markov Chains
- Wave-particle duality and the objectiveness of "true" and "false"
- Classical and Quantum Logics with Multiple and a Common Lattice Models
- On probability and logic
- Quantum machines with classical control
- A Practical Quantum Hoare Logic with Classical Variables, I
- Probabilistic logic of quantum observations