1,097 followers
It may be hasty to conclude that quantum logic fails to handle composite systems simply because orthomodular lattices are not closed under tensor products. There is an attempt to represent composite systems at an appropriate level of abstraction using Krip