TY  - RPRT
TI  - Weakly complete axiomatization of exogenous quantum propositional logic
AU  - P. Mateus
AU  - A. Sernadas
PY  - 2005
DO  - 10.1016/j.ic.2006.02.001
UR  - https://arxiv.org/abs/math/0503453
ID  - math/0503453
ER  -