Quantum Computational Logic

International Journal of Theoretical Physics

Volumn 42, Issue 1, 2003, Pages 39-47

  Gudder, S ^a  

^a UNIVERSITY OF DENVER   (United States)

Author keywords

Quantum computation; Quantum gates; Quantum logic

Indexed keywords

EID: 0037278418     PISSN: 00207748     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1023327005274     Document Type: Article

References (9)

1. Cattaneo, G., Dalla Chiara, M., Giuntini, R., and Leporini, R. (in press). An unsharp logic from quantum computation. International Journal of Theoretical Physics.
2. Dvurečenskij, A. and Pulmannová, S. (2000). New Trends in Quantum Structures, Khtwey Dordrecht.
3. Foulis, D. J. and Bennett, M. K. (1994). Effect algebras and unsharp quantum logics. Foundations of Physics 24, 1325-1346.
4. Giuntini, R. and Greuling, H. (1989). Toward a formal language for unsharp properties. Foundations of Physics 19, 931-945.
5. Gudder, S. and Greechie, R. (2002). Sequential products on effect algebras. Rep. Math. Phys. 49, 87-111.
6. Gudder, S. and Greechie, R. (in press-b). Uniqueness and Order in Sequential Effect Algebras.
7. Kôpka, F. and Chovanec, F. (1994). D-Posets. Math. Slovaca 44, 21-34.
8. Nielsen, M. and Chuang, I. (2000). Quantum Computation and Quantum Information, Cambridge University Press, Cambridge, England.
9. Pittenger, A. (2001). An Introduction to Quantum Computing Algorithms, Birkhäuser, Boston.