Weakly complete axiomatization of exogenous quantum propositional logic
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.
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- March 2005
- DOI:
- 10.48550/arXiv.math/0503453
- arXiv:
- arXiv:math/0503453
- Bibcode:
- 2005math......3453M
- Keywords:
-
- Mathematics - Logic;
- Computer Science - Logic in Computer Science;
- Quantum Physics;
- 03G12
- E-Print:
- 28 pages