Converse to the state-extension theorem for logical exclusivity

Let AA be a partial Boolean algebra, let η ⁣:AA[]\eta\colon A\longrightarrow A[\perp] be the canonical map to its logical exclusivity extension, and let ν\nu be a state of AA. A state satisfies Probabilistic Exclusivity (PEP) when it has the probabilistic exclusivity property.

State-extension conjecture. If state ν\nu of AA satisfies PEP, then there is a state ν^\hat{\nu} of A[]A[\perp] such that

ν=ν^η.\nu=\hat{\nu}\circ\eta.

This is conjectured as the converse to the paper's theorem asserting the corresponding implication for states on the logical exclusivity extension. The source gives no resolution.

Sources & referencesView supporting material

Primary source

Samson Abramsky and Rui Soares Barbosa, “The logic of contextuality”, arXiv:2011.03064 (2020).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.