Assumption-free derivation of the Bell-type criteria of contextuality/nonlocality

Abstract

Bell-type criteria of contextuality/nonlocality can be derived without any falsifiable assumptions, such as context-independent mapping (or local causality), free choice, or no-fine-tuning. This is achieved by deriving Bell-type criteria for inconsistently connected systems (i.e., those with disturbance/signaling), based on the generalized definition of contextuality in the Contextuality-by-Default approach, and then specializing these criteria to consistently connected systems.