| related words |
| schlieder |
| valuation |
| orthomodular |
| foulis |
| morphism |
| logics |
| rindler |
| halvorson |
| functor |
| valuations |
| presheaf |
| noncontextual |
| propositional |
| determinate |
| charts |
| disjunction |
| coexistent |
| coecke |
| connectives |
| orthocomplemented |
|
| related documents |
| Operational resolutions and state transitions in a categorical setting [0008020v1] |
| A functional quantum programming language [0409065v5] |
| Coordinating quantum agents' perspectives: convex operational theories,
quantum information, and quantum foundations [0611110v1] |
| Quantum Weakest Preconditions [0501157v2] |
| Topos Theoretical Reference Frames on the Category of Quantum Observables [0202057v1] |
| Quantum information processing, operational quantum logic, convexity,
and the foundations of physics [0304159v1] |
| A presentation of Quantum Logic based on an "and then" connective [0701113v1] |
| Comments on: "Quantum mechanics as a gauge theory of metaplectic spinor
fields" by M. Reuter [Int.J.Mod.Phys. A13 (1998), 3835-3884; hep-th/9804036] [9902067v1] |
| Tensor products of convex sets and the volume of separable states on N
qudits [0503221v2] |
| Compression Bases in Unital Groups [0504131v1] |
|
| related topics |
| {observables, space, algebra} |
| {vol, operators, histories} |
| {let, theorem, proof} |
| {group, space, representation} |
| {phase, path, phys} |
| {theory, mechanics, state} |
| {operator, operators, space} |
| {qubit, qubits, gate} |
| {field, particle, equation} |
| {state, states, entangled} |
| {force, casimir, field} |
| {equation, function, exp} |
| {algorithm, log, probability} |
| {information, entropy, channel} |
| {trap, ion, state} |
| {entanglement, phys, rev} |
| {time, systems, information} |
| {states, state, optimal} |
| {wave, scattering, interference} |
| {state, phys, rev} |
|