Repository | Book | Chapter
(2013) New challenges to philosophy of science, Dordrecht, Springer.
Probabilistic logics in quantum computation
Hector Freytes, Antonio Ledda, Giuseppe Sergioli, Roberto Giuntini
pp. 49-57
The quantum computation process may be summarized as follows: first an initial state of a physical system is provided as the input. Then, it evolves according to the elementary operations (quantum gates) that are performed on it. Finally, the access to the information content of the resulting state is possible via the measurement operation that provides one of the possible results. In this note we describe probabilistic-type semantics for propositional logics designed to describe effective procedure based on measurement processes.
Publication details
DOI: 10.1007/978-94-007-5845-2_5
Full citation:
Freytes, H. , Ledda, A. , Sergioli, G. , Giuntini, R. (2013)., Probabilistic logics in quantum computation, in H. Andersen, D. Dieks, T. Uebel, W. J. González & G. Wheeler (eds.), New challenges to philosophy of science, Dordrecht, Springer, pp. 49-57.
This document is unfortunately not available for download at the moment.