A logic for probability in quantum systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2803, Issue , 2003, Pages 427-440

  Van Der Meyden, Ron ^a   Patra, Manas ^a,b  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

^b UNIVERSITY OF DELHI   (India)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; MATHEMATICAL TRANSFORMATIONS; PROBABILITY; QUANTUM COMPUTERS; QUANTUM OPTICS; RECONFIGURABLE HARDWARE;

CONDITIONAL PROBABILITIES; FINITE DIMENSIONAL; OPERATIONAL LEVEL; PROJECTIVE MEASUREMENT; PROPOSITIONAL LOGIC; SOUND AND COMPLETE; TRANSITION PROBABILITIES; UNITARY TRANSFORMATIONS;

COMPUTER CIRCUITS;

EID: 35248812551     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45220-1_34     Document Type: Article

References (12)

1. M. Abadi and J.Y. Halpern. Decidability and expressiveness for first-order logics of probability. Information and Computation, 112(1):1-36, 1994.
2. F. Bacchus. Representing and Reasoning with Probabilistic Knowledge. MIT Press, Cambridge, Mass., 1990.
3. M. Ben-Or, D. Kozen, and J. H. Reif. The complexity of elementary algebra and geometry. Journal of Computer and System Sciences, 32(1):251-264, 1986.
4. G. Birkhoff and J. von Neumann. The logic of quantum mechanics. Annals of Mathematics, 37:823-843, 1936.
5. J. F. Canny. Some algebraic and geometric computations in PSPACE. In Proc. 20th ACM Symp. on Theory of Computing, pages 460-467, 1988.
6. R. Carnap. Logical Foundations of Probability. University of Chicago Press, Chicago, 1950.
7. R. Fagin, J. Y. Halpern, and N. Megiddo. A logic for reasoning about probabilities. Information and Computation, 87(1/2):78-128, 1990.
8. S. Gudder. Quantum Probability Theory. Academic Press, San Diego, 1989.
9. N. Nilsson. Probabilistic logic. Artificial Intelligence, 28:71-87, 1986.
10. A. Peres. Quantum Theory: Concepts and Methods. Kluwer Academic Publishers, Dordrecht, 1995.
11. V.R. Pratt. Linear logic for generalized quantum mechanics. In Proc. of Workshop on Physics and Computation (PhysComp'92), pages 166-180, Dallas, Oct 1992. IEEE.
12. A. Tarski. A Decision Method for Elementary Algebra and Geometry. Univ. of California Press, 2nd edition, 1951.