Bohrification of operator algebras and quantum logic

Bohrification of operator algebras and quantum logic

Detalhes bibliográficos
Main Authors:	Landsman, C, Spitters, B
Formato:	Journal article
Publicado em:	2012

Registos relacionados

Bohrification
Por: Heunen, N, et al.
Publicado em: (2009)

Bohrification of local nets
Por: Joost Nuiten
Publicado em: (2012-10-01)

A Topos for Algebraic Quantum Theory
Por: Heunen, C, et al.
Publicado em: (2009)

A topos for algebraic quantum theory
Por: Heunen, C, et al.
Publicado em: (2009)

Intuitionistic quantum logic of an n−level system
Por: Caspers, M, et al.
Publicado em: (2009)

The space of measurement outcomes as a spectrum for non-commutative algebras
Por: Bas Spitters
Publicado em: (2010-06-01)

The Gelfand spectrum of a noncommutative C*−algebra: a topos−theoretic approach
Por: Spitters, C, et al.
Publicado em: (2011)

Logic TK: Algebraic Notions from Tarski’s Consequence Operator
Por: Hércules A. Feitosa, et al.
Publicado em: (2010-04-01)

Algebraic logic /
Por: 366609 Gindikin, S. G.
Publicado em: (1985)

Algebra and logic
Publicado em: (1968)

Algebraic logic /
Por: Halmos, Paul R., (Paul Richard), 1916-
Publicado em: (1962)

Logic as algebra /
Por: 181502 Halmos, Paul, et al.
Publicado em: (1998)

Algebra of Logic Programming
Por: Seres, S, et al.
Publicado em: (1999)

Algebra of Logic Programming
Por: Seres, S, et al.
Publicado em: (1999)

Operator algebras and quantum statistical mechanics I /
Por: 321890 Bratteli, Ola, et al.
Publicado em: (1979)

Studies in algebraic logic /
Por: Daigneault, Aubert
Publicado em: (1974)

Algebra and logic : papers /
Por: Summer Research Institute of the Australia Mathematical Society (14th : 1974 : University, Victoria)
Publicado em: (1975)

Algebraic and logic programming /
Por: Grabowski, J., et al.
Publicado em: (1988)

Logic and boolean algebra /
Por: 398742 Levitz, Kathleen, et al.
Publicado em: (1979)

The Philosophy of Nature of the Natural Realism. The Operator Algebra from Physics to Logic
Por: Gianfranco Basti
Publicado em: (2022-10-01)

Probabilities and Epistemic Operations in the Logics of Quantum Computation
Por: Maria Luisa Dalla Chiara, et al.
Publicado em: (2018-10-01)

Stabilizer Formalism for Operator Algebra Quantum Error Correction
Por: Guillaume Dauphinais, et al.
Publicado em: (2024-02-01)

Semantics for a Quantum Programming Language by Operator Algebras
Por: Kenta Cho
Publicado em: (2014-12-01)

Finite algebra and multiple-valued logic /
Por: Csakany, B., et al.
Publicado em: (1981)

Temperley–lieb algebra: from knot theory to logic and computation via quantum mechanics
Por: Abramsky, S
Publicado em: (2007)

Temperley−Lieb algebra: From knot theory to logic and computation via quantum mechanics
Por: Abramsky, S
Publicado em: (2007)

An algebraic introduction to mathematical logic /
Por: 390016 Barnes, Donald W., et al.
Publicado em: (1975)

Toposes, algebraic geometry and logic /
Por: Bucur, Ionel, 1930-1976
Publicado em: (1972)

Algebraic methods of mathematical logic /
Por: 404014 Reiger, Ladislav
Publicado em: (1967)

Logic I : Boolean algebra
Por: Open University. Mathematics Foundation Course Team
Publicado em: (1971)

Boolean algebra for computer logic /
Por: Ennes, Harold E., 1911-
Publicado em: (1978)

Fuzzy Logical Algebras and Their Applications
Por: Jianming Zhan, et al.
Publicado em: (2015-01-01)

Approach to positional logic algebra
Por: Mykola Kovalov
Publicado em: (2023-03-01)

Operators and representation theory : canonical models for algebras of operators arising in quantum mechanics /
Por: 214413 Jorgensen, Palle E. T.
Publicado em: (1988)

A Lax type operator for quantum finite W-algebras
Por: De Sole, Alberto, et al.
Publicado em: (2021)

Compositional quantum logic
Por: Coecke, B, et al.
Publicado em: (2013)

Logical Divergence, Logical Entropy, and Logical Mutual Information in Product MV-Algebras
Por: Dagmar Markechová, et al.
Publicado em: (2018-02-01)

FROM QUANTUM LOGIC TO QUANTUM COMPUTATIONAL LOGIC
Por: MICHELE CAPONIGRO, et al.
Publicado em: (2006-01-01)

Categorical Abstract Algebraic Logic: Meet-Combination of Logical Systems
Por: George Voutsadakis
Publicado em: (2013-01-01)

Quantum toroidal algebras, quantum affine algebras, and their representation theory
Por: Laurie, D
Publicado em: (2024)