Quantifiers for quantum logic

Details Quantifiers for quantum logic Quantifiers for quantum logic

2008-11-10

arxiv.org/abs/0811.1457v3

Mathematics

Logic

16 pages; improved proof of theorem 15 and layout

Scientific paper

We consider categorical logic on the category of Hilbert spaces. More generally, in fact, any pre-Hilbert category suffices. We characterise closed subobjects, and prove that they form orthomodular lattices. This shows that quantum logic is just an incarnation of categorical logic, enabling us to establish an existential quantifier for quantum logic, and conclude that there cannot be a universal quantifier.

Affiliated with

Also associated with

No associations

Rating

Quantifiers for quantum 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 Quantifiers for quantum logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Quantifiers for quantum logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-724703