113 citations · 1.3k across the 83 of their papers we have counts for
1 paper · 2 filters
Chris Heunen, Bart Jacobs
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 r…