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...

書誌詳細
第一著者:	Döring, A
フォーマット:	Journal article
言語:	English
出版事項:	2011
主題:	Quantum theory (mathematics) Computing

類似資料

Quantum logic/
著者:: 353961 Mittlestaedt, Peter
出版事項: (1978)

Toy quantum categories (extended abstract)
著者:: Coecke, B, 等
出版事項: (2011)

FROM QUANTUM LOGIC TO QUANTUM COMPUTATIONAL LOGIC
著者:: MICHELE CAPONIGRO, 等
出版事項: (2006-01-01)

A First Step to the Categorical Logic of Quantum Programs
著者:: Xin Sun, 等
出版事項: (2020-01-01)

Handbook of quantum logic and quantum structures : quantum structures /
著者:: Engesser, Kurt, 等
出版事項: (2007)

The logic of quantum mechanics/
著者:: 246019 Beltrametti, Enrico G., 等
出版事項: (1981)

New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
著者:: Bart Jacobs
出版事項: (2015-10-01)

The logical analysis of quantum mechanics/
著者:: 430726 Scheibe, Erhard
出版事項: (1973)

Logic and probability in quantum mechanics/
著者:: Suppes, Patrick
出版事項: (1976)

Classical knowledge for quantum security
著者:: D'Hondt, E, 等
出版事項: (2011)

Logical and topological contextuality in quantum mechanics and beyond
著者:: Caru, G
出版事項: (2019)

Mathematics of Quantum Computation and Quantum Technology /
著者:: Kauffman, Louis H., 等
出版事項: (2019)

Multiblock ADMM Heuristics for Mixed-Binary Optimization on Classical and Quantum Computers
著者:: Claudio Gambella, 等
出版事項: (2020-01-01)

Quantum information and quantum computing /
著者:: Nakahara, Mikio, 等
出版事項: (2012)

Quantum mechanics /
著者:: 368772 Reed, B. Cameron
出版事項: (2008)

Problems and solutions in quantum computing and quantum information /
著者:: 327494 Steeb, Willi-Hans, 等
出版事項: (2012)

Problems and solutions in quantum computing and quantum information /
著者:: 327494 Steeb, Willi-Hans, 等
出版事項: (2006)

Quantum computation and quantum communication : theory and experiments /
著者:: 406219 Pavicic, Mladen
出版事項: (2006)

Problems and solutions in quantum computing and quantum information /
著者:: 463806 Steeb, W.-H., 等
出版事項: (2004)

Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory
著者:: Mathys Rennela, 等
出版事項: (2020-03-01)

The regular histories formulation of quantum theory
著者:: Priebe, R
出版事項: (2012)

Causal types for higher-order quantum theory
著者:: Simmons, W
出版事項: (2024)

Quantum kinematics and dynamics /
著者:: Schwinger, Julian Seymour, 1918-
出版事項: (1970)

Mathematics for quantum mechanics : an introductory survey of operators, eigenvalues, and linear vector spaces /
著者:: 417646 Jackson, John David
出版事項: (1962)

Factorization method in quantum mechanics /
著者:: 276926 Dong, Shi-Hai
出版事項: (2007)

Higher-order semantics for quantum programming languages with classical control
著者:: Atzemoglou, GP
出版事項: (2012)

Quantum information /
著者:: Barnett, S. M. (Stephen M.) 525007
出版事項: (2009)

Fundamentals of quantum information /
著者:: 511081 Sagawa, Hiroyuki, 等
出版事項: (c201)

Logical Structures Underlying Quantum Computing
著者:: Federico Holik, 等
出版事項: (2019-01-01)

Main Problems in Constructing Quantum Theory Based on Finite Mathematics
著者:: Felix M. Lev
出版事項: (2024-11-01)

Differential space, quantum systems, and prediction/
著者:: Wiener, Norbert
出版事項: (1966)

Quantum information and computation IX : 28-29 April 2011, Orlando, Florida, United States /
著者:: Donkor, Eric, 等
出版事項: (c201)

Quantum information and computation X : 26-27 April 2012, Baltimore, Maryland, United States /
著者:: Quantum information and computation (Conference) (10th : 2012 April : Baltimore, Maryland, US) 551810, 等
出版事項: (c201)

Quantum computer science : an introduction /
著者:: 218381 Mermin, N. David
出版事項: (2007)

Quantum information processing /
著者:: Beth, Thomas, 等
出版事項: (2005)

Elements of quantum information /
著者:: 261050 Schleich, Wolfgang P.
出版事項: (2007)

Quantum Logic Locking for Security
著者:: Rasit Onur Topaloglu
出版事項: (2023-07-01)

Lectures on quantum theory : mathematical and structural foundations /
著者:: 304982 Isham, Chris J.
出版事項: (1995)

A short introduction to quantum information and quantum computation /
著者:: 415331 Le Bellac, Michel
出版事項: (2006)

Encoding Two-Qubit Logical States and Quantum Operations Using the Energy States of a Physical System
著者:: Dimitrios Ntalaperas, 等
出版事項: (2021-12-01)