Decomposition Theorem for State Property Systems

Diederik Aerts, Didier Deses, Bart D'Hooghe

We prove a decomposition theorem for orthocomplemented state property systems. More specifically we prove that an orthocomplemented state property system is isomorphic to the direc…