Quantum uncertainty in a macroscopic domain
We develop a classical model-theoretic representation of partial Boolean algebras and use it to formulate quantum-like uncertainty without abandoning classical propositional logic. Given a surjection from the initial formul\ae\ of a propositional language onto a partial Boolean algebra $(\mathcal V,\Pi)$, we construct...