Bohrification of operator algebras and quantum logic

Bohrification of operator algebras and quantum logic

Detaylı Bibliyografya
Asıl Yazarlar:	Landsman, C, Spitters, B
Materyal Türü:	Journal article
Baskı/Yayın Bilgisi:	2012

Benzer Materyaller

Bohrification
Yazar:: Heunen, N, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Bohrification of local nets
Yazar:: Joost Nuiten
Baskı/Yayın Bilgisi: (2012-10-01)

A Topos for Algebraic Quantum Theory
Yazar:: Heunen, C, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

A topos for algebraic quantum theory
Yazar:: Heunen, C, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Intuitionistic quantum logic of an n−level system
Yazar:: Caspers, M, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

The space of measurement outcomes as a spectrum for non-commutative algebras
Yazar:: Bas Spitters
Baskı/Yayın Bilgisi: (2010-06-01)

The Gelfand spectrum of a noncommutative C*−algebra: a topos−theoretic approach
Yazar:: Spitters, C, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Logic TK: Algebraic Notions from Tarski’s Consequence Operator
Yazar:: Hércules A. Feitosa, ve diğerleri
Baskı/Yayın Bilgisi: (2010-04-01)

Algebraic logic /
Yazar:: 366609 Gindikin, S. G.
Baskı/Yayın Bilgisi: (1985)

Algebra and logic
Baskı/Yayın Bilgisi: (1968)

Algebraic logic /
Yazar:: Halmos, Paul R., (Paul Richard), 1916-
Baskı/Yayın Bilgisi: (1962)

Logic as algebra /
Yazar:: 181502 Halmos, Paul, ve diğerleri
Baskı/Yayın Bilgisi: (1998)

Algebra of Logic Programming
Yazar:: Seres, S, ve diğerleri
Baskı/Yayın Bilgisi: (1999)

Algebra of Logic Programming
Yazar:: Seres, S, ve diğerleri
Baskı/Yayın Bilgisi: (1999)

Operator algebras and quantum statistical mechanics I /
Yazar:: 321890 Bratteli, Ola, ve diğerleri
Baskı/Yayın Bilgisi: (1979)

Studies in algebraic logic /
Yazar:: Daigneault, Aubert
Baskı/Yayın Bilgisi: (1974)

Algebra and logic : papers /
Yazar:: Summer Research Institute of the Australia Mathematical Society (14th : 1974 : University, Victoria)
Baskı/Yayın Bilgisi: (1975)

Algebraic and logic programming /
Yazar:: Grabowski, J., ve diğerleri
Baskı/Yayın Bilgisi: (1988)

Logic and boolean algebra /
Yazar:: 398742 Levitz, Kathleen, ve diğerleri
Baskı/Yayın Bilgisi: (1979)

The Philosophy of Nature of the Natural Realism. The Operator Algebra from Physics to Logic
Yazar:: Gianfranco Basti
Baskı/Yayın Bilgisi: (2022-10-01)

Probabilities and Epistemic Operations in the Logics of Quantum Computation
Yazar:: Maria Luisa Dalla Chiara, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

Stabilizer Formalism for Operator Algebra Quantum Error Correction
Yazar:: Guillaume Dauphinais, ve diğerleri
Baskı/Yayın Bilgisi: (2024-02-01)

Semantics for a Quantum Programming Language by Operator Algebras
Yazar:: Kenta Cho
Baskı/Yayın Bilgisi: (2014-12-01)

Finite algebra and multiple-valued logic /
Yazar:: Csakany, B., ve diğerleri
Baskı/Yayın Bilgisi: (1981)

Temperley–lieb algebra: from knot theory to logic and computation via quantum mechanics
Yazar:: Abramsky, S
Baskı/Yayın Bilgisi: (2007)

Temperley−Lieb algebra: From knot theory to logic and computation via quantum mechanics
Yazar:: Abramsky, S
Baskı/Yayın Bilgisi: (2007)

An algebraic introduction to mathematical logic /
Yazar:: 390016 Barnes, Donald W., ve diğerleri
Baskı/Yayın Bilgisi: (1975)

Toposes, algebraic geometry and logic /
Yazar:: Bucur, Ionel, 1930-1976
Baskı/Yayın Bilgisi: (1972)

Algebraic methods of mathematical logic /
Yazar:: 404014 Reiger, Ladislav
Baskı/Yayın Bilgisi: (1967)

Logic I : Boolean algebra
Yazar:: Open University. Mathematics Foundation Course Team
Baskı/Yayın Bilgisi: (1971)

Boolean algebra for computer logic /
Yazar:: Ennes, Harold E., 1911-
Baskı/Yayın Bilgisi: (1978)

Fuzzy Logical Algebras and Their Applications
Yazar:: Jianming Zhan, ve diğerleri
Baskı/Yayın Bilgisi: (2015-01-01)

Approach to positional logic algebra
Yazar:: Mykola Kovalov
Baskı/Yayın Bilgisi: (2023-03-01)

Operators and representation theory : canonical models for algebras of operators arising in quantum mechanics /
Yazar:: 214413 Jorgensen, Palle E. T.
Baskı/Yayın Bilgisi: (1988)

A Lax type operator for quantum finite W-algebras
Yazar:: De Sole, Alberto, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Compositional quantum logic
Yazar:: Coecke, B, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Logical Divergence, Logical Entropy, and Logical Mutual Information in Product MV-Algebras
Yazar:: Dagmar Markechová, ve diğerleri
Baskı/Yayın Bilgisi: (2018-02-01)

FROM QUANTUM LOGIC TO QUANTUM COMPUTATIONAL LOGIC
Yazar:: MICHELE CAPONIGRO, ve diğerleri
Baskı/Yayın Bilgisi: (2006-01-01)

Categorical Abstract Algebraic Logic: Meet-Combination of Logical Systems
Yazar:: George Voutsadakis
Baskı/Yayın Bilgisi: (2013-01-01)

Quantum toroidal algebras, quantum affine algebras, and their representation theory
Yazar:: Laurie, D
Baskı/Yayın Bilgisi: (2024)