Computer Science – Logic in Computer Science
Scientific paper
2009-05-25
Computer Science
Logic in Computer Science
31 pages
Scientific paper
This paper is a sequel to arXiv:0902.2355 and continues the study of quantum logic via dagger kernel categories. It develops the relation between these categories and both orthomodular lattices and Foulis semigroups. The relation between the latter two notions has been uncovered in the 1960s. The current categorical perspective gives a broader context and reconstructs this relationship between orthomodular lattices and Foulis semigroups as special instance.
No associations
LandOfFree
Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories 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 Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-646142