formalization

related words
imprimitivity
sublattices
distributivity
orthomodularity
bratteli
heyting
intuitionistic
greechie
presheaves
atomistic
cassinelli
subobject
posets
axiomatics
localizations
orthocomplementation
monoid
functors
randall
sublattice
related documents
Quantum information processing, operational quantum logic, convexity, and the foundations of physics [0304159v1]
Coordinating quantum agents' perspectives: convex operational theories, quantum information, and quantum foundations [0611110v1]
Generalizations of Kochen and Specker's Theorem and the Effectiveness of Gleason's Theorem [0307139v1]
An Unentangled Gleason's Theorem [0002058v1]
Identical particles and entanglement [0509195v1]
Discrete Time Leads to Quantum-Like Interference of Deterministic Particles [0203009v1]
Quantum states and generalized observables: a simple proof of Gleason's theorem [9909073v3]
Communicating Quantum Processes [0409052v1]
Generalized decoding, effective channels, and simplified security proofs in quantum key distribution [0505061v3]
Algebras of Measurements: the logical structure of Quantum Mechanics [0507231v2]
related topics
{observables, space, algebra}
{particle, mechanics, theory}
{key, protocol, security}
{vol, operators, histories}
{temperature, thermal, energy}
{state, states, entangled}
{alice, bob, state}
{states, state, optimal}
{let, theorem, proof}
{entanglement, phys, rev}
{measurement, state, measurements}
{theory, mechanics, state}
{group, space, representation}
{information, entropy, channel}
{error, code, errors}
{time, systems, information}
{field, particle, equation}
{qubit, qubits, gate}
{operator, operators, space}
{algorithm, log, probability}