Sciweavers

63
Voted
ORDER
2010
100views more  ORDER 2010»
14 years 7 months ago
Quantum Logic in Dagger Kernel Categories
This paper investigates quantum logic from the perspective of categorical logic, and starts from minimal assumptions, namely the existence of involutions/daggers and kernels. The ...
Chris Heunen, Bart Jacobs