{"id":"arxiv/2611.00814","url":"https://arxiv.org/abs/2611.00814","tags":["math.LO","quant-ph"],"score":0,"title":"Polyteam logics for quantum contextuality","domain":"math.LO","source":"arxiv","authors":["Loan Le Maguet"],"reviews":0,"subject":"math.LO","summary":"We introduce logics of dependence and independence over polyteams (that is, databases with multiple relation schemes), in a similar way as in arXiv:1704.02158v3 [cs.LO]. On this basis, we develop a logical framework in which we can express (in formulas) relevant properties about the statistics of a repeated quantum experiment. In this framework, we formalize Bell's theorem, and the Kochen-Specker theorem as failure of logical entailments, as it was suggested in arXiv:2107.10817v3 [math.LO]. The key feature of polyteam logics in action here is their power to express both local and global…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-31","reactions":{}}