1. Mateus, P., Sernadas, A.: Exogenous quantum logic. In: Carnielli, W.A., Dionísio, F.M., Mateus, P. (eds.) Proceedings of CombLog’04, Workshop on Combination of Logics: Theory and Applications, 1049-001 Lisboa, Portugal, Departamento de Matemática, Instituto Superior Técnico (2004), pp. 141–149 (2004), Extended abstract
2. Lecture Notes in Artificial Intelligence;P. Mateus,2004
3. Mateus, P., Sernadas, A.: Weakly complete axiomatization of exogenous quantum propositional logic. Information and Computation (in print) ArXiv math.LO/0503453
4. Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)
5. Mateus, P., Sernadas, A., Sernadas, C.: Exogenous semantics approach to enriching logics. In: Sica, G. (ed.) Essays on the Foundations of Mathematics and Logic, Polimetrica. Advanced Studies in Mathematics and Logic, vol. 1, pp. 165–194 (2005)