16 citations · 88 across the 12 of their papers we have counts for
1 paper · 2 filters
Kenta Cho, Bart Jacobs, Bas Westerbaan +1
Effectus theory is a new branch of categorical logic that aims to capture the essentials of quantum logic, with probabilistic and Boolean logic as special cases. Predicates in effe…