Topos quantum logic and mixed states

Topos quantum logic and mixed states

The topos approach to the formulation of physical theories includes a new form of quantum logic. We present this topos quantum logic, including some new results, and compare it to standard quantum logic, all with an eye to conceptual issues. In particular, we show that topos quantum logic is distrib...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Döring, A
Formáid:	Journal article
Teanga:	English
Foilsithe / Cruthaithe:	2011
Ábhair:	Quantum theory (mathematics) Computing

Míreanna comhchosúla

Quantum logic/
de réir: 353961 Mittlestaedt, Peter
Foilsithe / Cruthaithe: (1978)

Toy quantum categories (extended abstract)
de réir: Coecke, B, et al.
Foilsithe / Cruthaithe: (2011)

FROM QUANTUM LOGIC TO QUANTUM COMPUTATIONAL LOGIC
de réir: MICHELE CAPONIGRO, et al.
Foilsithe / Cruthaithe: (2006-01-01)

A First Step to the Categorical Logic of Quantum Programs
de réir: Xin Sun, et al.
Foilsithe / Cruthaithe: (2020-01-01)

Handbook of quantum logic and quantum structures : quantum structures /
de réir: Engesser, Kurt, et al.
Foilsithe / Cruthaithe: (2007)

The logic of quantum mechanics/
de réir: 246019 Beltrametti, Enrico G., et al.
Foilsithe / Cruthaithe: (1981)

New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
de réir: Bart Jacobs
Foilsithe / Cruthaithe: (2015-10-01)

The logical analysis of quantum mechanics/
de réir: 430726 Scheibe, Erhard
Foilsithe / Cruthaithe: (1973)

Logic and probability in quantum mechanics/
de réir: Suppes, Patrick
Foilsithe / Cruthaithe: (1976)

Classical knowledge for quantum security
de réir: D'Hondt, E, et al.
Foilsithe / Cruthaithe: (2011)

Logical and topological contextuality in quantum mechanics and beyond
de réir: Caru, G
Foilsithe / Cruthaithe: (2019)

Mathematics of Quantum Computation and Quantum Technology /
de réir: Kauffman, Louis H., et al.
Foilsithe / Cruthaithe: (2019)

Multiblock ADMM Heuristics for Mixed-Binary Optimization on Classical and Quantum Computers
de réir: Claudio Gambella, et al.
Foilsithe / Cruthaithe: (2020-01-01)

Quantum information and quantum computing /
de réir: Nakahara, Mikio, et al.
Foilsithe / Cruthaithe: (2012)

Quantum mechanics /
de réir: 368772 Reed, B. Cameron
Foilsithe / Cruthaithe: (2008)

Problems and solutions in quantum computing and quantum information /
de réir: 327494 Steeb, Willi-Hans, et al.
Foilsithe / Cruthaithe: (2012)

Problems and solutions in quantum computing and quantum information /
de réir: 327494 Steeb, Willi-Hans, et al.
Foilsithe / Cruthaithe: (2006)

Quantum computation and quantum communication : theory and experiments /
de réir: 406219 Pavicic, Mladen
Foilsithe / Cruthaithe: (2006)

Problems and solutions in quantum computing and quantum information /
de réir: 463806 Steeb, W.-H., et al.
Foilsithe / Cruthaithe: (2004)

Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory
de réir: Mathys Rennela, et al.
Foilsithe / Cruthaithe: (2020-03-01)

The regular histories formulation of quantum theory
de réir: Priebe, R
Foilsithe / Cruthaithe: (2012)

Causal types for higher-order quantum theory
de réir: Simmons, W
Foilsithe / Cruthaithe: (2024)

Quantum kinematics and dynamics /
de réir: Schwinger, Julian Seymour, 1918-
Foilsithe / Cruthaithe: (1970)

Mathematics for quantum mechanics : an introductory survey of operators, eigenvalues, and linear vector spaces /
de réir: 417646 Jackson, John David
Foilsithe / Cruthaithe: (1962)

Factorization method in quantum mechanics /
de réir: 276926 Dong, Shi-Hai
Foilsithe / Cruthaithe: (2007)

Higher-order semantics for quantum programming languages with classical control
de réir: Atzemoglou, GP
Foilsithe / Cruthaithe: (2012)

Quantum information /
de réir: Barnett, S. M. (Stephen M.) 525007
Foilsithe / Cruthaithe: (2009)

Fundamentals of quantum information /
de réir: 511081 Sagawa, Hiroyuki, et al.
Foilsithe / Cruthaithe: (c201)

Logical Structures Underlying Quantum Computing
de réir: Federico Holik, et al.
Foilsithe / Cruthaithe: (2019-01-01)

Main Problems in Constructing Quantum Theory Based on Finite Mathematics
de réir: Felix M. Lev
Foilsithe / Cruthaithe: (2024-11-01)

Differential space, quantum systems, and prediction/
de réir: Wiener, Norbert
Foilsithe / Cruthaithe: (1966)

Quantum information and computation IX : 28-29 April 2011, Orlando, Florida, United States /
de réir: Donkor, Eric, et al.
Foilsithe / Cruthaithe: (c201)

Quantum information and computation X : 26-27 April 2012, Baltimore, Maryland, United States /
de réir: Quantum information and computation (Conference) (10th : 2012 April : Baltimore, Maryland, US) 551810, et al.
Foilsithe / Cruthaithe: (c201)

Quantum computer science : an introduction /
de réir: 218381 Mermin, N. David
Foilsithe / Cruthaithe: (2007)

Quantum information processing /
de réir: Beth, Thomas, et al.
Foilsithe / Cruthaithe: (2005)

Elements of quantum information /
de réir: 261050 Schleich, Wolfgang P.
Foilsithe / Cruthaithe: (2007)

Quantum Logic Locking for Security
de réir: Rasit Onur Topaloglu
Foilsithe / Cruthaithe: (2023-07-01)

Lectures on quantum theory : mathematical and structural foundations /
de réir: 304982 Isham, Chris J.
Foilsithe / Cruthaithe: (1995)

A short introduction to quantum information and quantum computation /
de réir: 415331 Le Bellac, Michel
Foilsithe / Cruthaithe: (2006)

Encoding Two-Qubit Logical States and Quantum Operations Using the Energy States of a Physical System
de réir: Dimitrios Ntalaperas, et al.
Foilsithe / Cruthaithe: (2021-12-01)