Abstract
In order to deal with Kochen and Specker's no-go result, van Fraassen invoked 'splitting' of non-maximal observable depending on 'context'. In his contextual approach there are different physical quantities corresponding to a non-maximal operator. Such physical quantities are different, so those values are not required to coincide. However, Heywood and Redhead showed the impossibility of local truth-value assignment in contextual approach. Their argument is restricted to finite dimensional and non-relativistic case. In this paper we shall show a similar no-go result in more general framework (von Neumann algebra). Also, our result will be applied to Algebraic quantum field theory.
