logics

related words
foulis
morphisms
schlieder
valuation
halvorson
valuations
noncontextual
morphism
functor
surjective
presheaf
imprecise
propositional
charts
coecke
coexistent
orthocomplemented
connectives
gudder
disjunction
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]
Towards a Theory of Conservative Computing [0211085v2]
Partiality in physics [0312044v1]
A presentation of Quantum Logic based on an "and then" connective [0701113v1]
Algebras of Measurements: the logical structure of Quantum Mechanics [0507231v2]
Representation theorem for obsevables on a quantum logic [0302053v1]
Complementary Descriptions (PART II): A Set of Ideas Regarding the Interpretation of Quantum Mechanics [0507114v1]
Contextual logic for quantum systems [0702023v1]
Experimental Quantum Cryptography with Qutrits [0511163v2]
Ensembles and experiments in classical and quantum physics [0303047v1]
Distinguishability and Accessible Information in Quantum Theory [9601020v1]
Orthocomplementation and compound systems [0410085v2]
Compression Bases in Unital Groups [0504131v1]
"Quantal" behavior in classical probability [0106072v6]
A Quantum Logic Gate Representation of Quantum Measurement: Reversing and Unifying the Two Steps of von Neumann's Model [9912020v1]
Information Systems Self-description and Quantum Measurement Problem [0404153v1]
Fault-tolerant quantum computation [9712048v1]
Quantum Weakest Preconditions [0501157v2]
A geometric proof of the Kochen-Specker no-go theorem [0304013v1]
related topics
{observables, space, algebra}
{wave, scattering, interference}
{vol, operators, histories}
{error, code, errors}
{theory, mechanics, state}
{qubit, qubits, gate}
{state, phys, rev}
{key, protocol, security}
{bell, inequality, local}
{photon, photons, single}
{particle, mechanics, theory}
{measurement, state, measurements}
{let, theorem, proof}
{time, systems, information}
{operator, operators, space}
{alice, bob, state}
{state, states, entangled}
{algorithm, log, probability}
{information, entropy, channel}
{time, decoherence, evolution}