activity
19942023
most citedNew optimal tests of quantum nonlocality

161 citations · 1.6k across the 141 of their papers we have counts for

collaborators
Showing 2018 · quant-phShow all

6 papers · 2 filters

quant-ph2018★ 7 cited

Roots and (re)sources of value (in)definiteness versus contextuality. A contribution to the Pitowsky Volume in memory of Itamar Pitowsky (1950--2010)

Karl Svozil

In Itamar Pitowsky's reading of the Gleason and the Kochen-Specker theorems, in particular, his Logical Indeterminacy Principle, the emphasis is on the value indefiniteness of obse…

quant-ph2018★ 13 cited

Faithful orthogonal representations of graphs from partition logics

Karl Svozil

The graphs induced by partition logics allow a dual probabilistic interpretation: a classical one for which probabilities lie on the convex hull of the dispersion-free weights, and…

quant-ph2018★ 6 cited

Classical predictions for intertwined quantum observables are contingent and thus inconclusive

Karl Svozil

Classical evaluations of configurations of intertwined quantum contexts induce relations, such as true-implies-false, true-implies-true, but also nonseparability among the input an…

quant-ph2018★ 5 cited

Partition Logics, Orthoalgebras and Automata

Anatolij Dvurecenskij, Sylvia Pulmannova, Karl Svozil

We investigate the orthoalgebras of certain non-Boolean models which have a classical realization. Our particular concern will be the partition logics arising from the investigatio…

quant-ph2018★ 32 cited

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…

quant-ph2018★ 15 cited

New forms of quantum value indefiniteness suggest that incompatible views on contexts are epistemic

Karl Svozil

Extensions of the Kochen-Specker theorem use quantum logics whose classical interpretation suggests a true-implies-value indefiniteness property. This can be interpreted as an indi…