English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

We study hidden-variable models from quantum mechanics, and theirabstractions in purely probabilistic and relational frameworks, by means oflogics of dependence and independence, based on team semantics. We show thatcommon desirable properties of hidden-variable models can be defined in anelegant and concise way in dependence and independence logic. The relationshipbetween different properties, and their simultaneous realisability can thusbeen formulated and a proved on a purely logical level, as problems ofentailment and satisfiability of logical formulae. Connections betweenprobabilistic and relational entailment in dependence and independence logicallow us to simplify proofs. In many cases, we can establish results on bothprobabilistic and relational hidden-variable models by a single proof, becauseone case implies the other, depending on purely syntactic criteria. We alsodiscuss the no-go theorems by Bell and Kochen-Specker and provide a purelylogical variant of the latter, introducing non-contextual choice as ateam-semantical property.

Unifying Hidden-Variable Problems from Quantum Mechanics by Logics of Dependence and Independence