Weakly complete axiomatization of exogenous quantum propositional logic
<|reference_start|>Weakly complete axiomatization of exogenous quantum propositional logic: 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.<|reference_end|>
@article{mateus2005weakly,
    title={Weakly complete axiomatization of exogenous quantum propositional logic},
    author={P. Mateus and A. Sernadas (CLC, Dep Math, IST, Lisbon, Portugal)},
    journal={arXiv preprint arXiv:math/0503453},
    year={2005},
    doi={10.1016/j.ic.2006.02.001},
    archivePrefix={arXiv},
    eprint={math/0503453},
    primaryClass={math.LO cs.LO quant-ph}
}