Minimal true-implies-false and true-implies-true sets of propositions in noncontextual hidden variable theories

Adán Cabello, José R. Portillo, Alberto Solís +1

An essential ingredient in many examples of the conflict between quantum theory and noncontextual hidden variables (e.g., the proof of the Kochen-Specker theorem and Hardy's proof…