@ARTICLE {1790,
author={P. Mateus and A. Sernadas},
doi={10.1016/j.ic.2006.02.001},
journal={Information and Computation},
title={Weakly complete axiomatization of exogenous quantum propositional logic},
year={2006},
month={April},
volume={204},
number={5},
pages={771-794},
ISSN={0890-5401}
}
Create and download bib file