Subsystems of a finite quantum system and Bell-like inequalities

Abstract

The set of subsystems Sigma(m) of a finite quantum system Sigma(n) with variables in Z(n) together with logical connectives, is a Heyting algebra. The probabilities tau(m vertical bar rho(n)) Tr vertical bar B(m)rho(n)] (where B(m) is the projector to Sigma(m)) are compatible with associativity of the join in the Heyting algebra, only if the variables belong to the same chain. Consequently, contextuality in the present formalism, has the chains as contexts. Various Bell-like inequalities are discussed. They are violated, and this proves that quantum mechanics is a contextual theory.