Characterization of quantum states in predicative logic

Details Characterization of quantum states in predicative logic Characterization of quantum states in predicative logic

2011-02-08

arxiv.org/abs/1102.1530v2

Physics

Quantum Physics

14 pages, Boston, IQSA10, to appear

Scientific paper

We develop a characterization of quantum states by means of first order variables and random variables, within a predicative logic with equality, in the framework of basic logic and its definitory equations. We introduce the notion of random first order domain and find a characterization of pure states in predicative logic and mixed states in propositional logic, due to a focusing condition. We discuss the role of first order variables and the related contextuality, in terms of sequents.

Affiliated with

Also associated with

No associations

Rating

Characterization of quantum states in predicative logic does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Characterization of quantum states in predicative logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Characterization of quantum states in predicative logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-502061