{"id":"arxiv/2601.01445","url":"https://arxiv.org/abs/2601.01445","tags":["quant-ph"],"score":0,"title":"A Logical Formalism of Hardy-type Paradox","domain":"quant-ph","source":"arxiv","authors":["Songyi Liu","Yongjun Wang","Baoshan Wang","Chang He","Yunyi Jia"],"reviews":0,"subject":"quant-ph","summary":"Hardy-type paradoxes provide elegant, inequality-free proofs of quantum contextuality. We introduce a unified logical formalism for these paradoxes, termed logical Hardy-type paradoxes. For any finite quantum scenario of ideal measurements, we prove that the existence of a logical Hardy-type paradox is equivalent to logical contextuality. Specifically, strong contextuality is equivalent to logical Hardy-type paradoxes with success probability SP = 1. These results generalize prior work on (2,k,2), (2,2,d), and n-cycle scenarios. We analyze logical Hardy-type paradoxes in the Mansfield and…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-01-04","reactions":{}}