An unsharp logic from quantum computation

International Journal of Theoretical Physics

Volumn 43, Issue 7-8, 2004, Pages 1803-1817

  Cattaneo, Gianpiero ^a   Dalla Chiara, Maria Luisa ^b   Giuntini, Roberto ^c   Leporini, Roberto ^a  

^a UNIVERSITY OF MILANO BICOCCA   (Italy)

^b UNIVERSITY OF FLORENCE   (Italy)

^c UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

Quantum computation; Quantum logic

Indexed keywords

EID: 24144498404     PISSN: 00207748     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:IJTP.0000048821.56239.cb     Document Type: Article

References (7)

1. Birkhoff, G. and von Neumann, J. (1936). The logic of quantum mechanics. Annals of Mathematics 37, 823-843.
2. Dalla Chiara, M. L. and Giuntini, R. (2002). Quantum logics. In Handbook of Philosophical Logic, Vol. 6, G. Gabbay and F. Guenthner, eds., Kluwer, Dordrecht.
3. Deutsch, D., Ekert, A., and Lupacchini, R. (2000). Machines, logic and quantum physics. Bulletin of Symbolic Logic 6(3), 265-283.
4. Pieskill, J. (1999). Lecture Notes in Physics. In Quantum Information and Confutation, Vol. 229, Springer, Berlin.
5. Ekert, A., Hayden, P., and Inamori, H. (2001). Basic concepts in quantum computation. In Coeherent Atomic Matter Waves Vol. LXXII of Nato Advanced Study Institute - Les Hauches, R. Kaiser, C. Westbrook, and F. David, eds., Springer-Verlag, Berlin.
6. Gudder, S. (2000). Quantum languages. In Current Research in Operational Quantum Logic, B. Coecke, D. Moore, and A. Wilce, eds., Kluwer, Dordrecht.
7. Toffoli, T. (1980). Reversible computing. In Automata, Languages and Programming, Vol. 84, J. W. de Baker, J. van Leeuwen, eds., Springer, Berlin.