The logic of quantum mechanics

DOI10.2307/1968621zbMath0015.14603OpenAlexW3126996113WikidataQ21999012 ScholiaQ21999012MaRDI QIDQ2645405

Garrett. Birkhoff, Johann von Neumann

Publication date: 1936

Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/1968621

zbMATH Keywords

logic of quantum mechanics

Mathematics Subject Classification ID

Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)

Related Items (only showing first 100 items - show all)

Jauch-Piron orthomodular posets and propositional systems: A comparison ⋮ The discrete-time quaternionic quantum walk on a graph ⋮ Quaternionic quantum field theory ⋮ Logics of informational interactions ⋮ Analysis of Wallace's proof of the Born rule in Everettian quantum mechanics: formal aspects ⋮ Symmetry of Einstein-Yang-Mills systems and dimensional reduction ⋮ Embedding quantum mechanics into a broader noncontextual theory ⋮ The spectral theorem for unitary operators based on the \(S\)-spectrum ⋮ What is quantum mechanics? A minimal formulation ⋮ Some remarks on quantum logics and quantum mechanics ⋮ A discussion on the origin of quantum probabilities ⋮ Quantum structures: An attempt to explain the origin of their appearance in nature ⋮ Automaton partition logic versus quantum logic ⋮ Residuated semigroups and the algebraic foundations of quantum mechanics ⋮ Probability and logical structure of statistical theories ⋮ Editors' introduction: The third life of quantum logic: Quantum logic inspired by quantum computing ⋮ Quaternionic quantum dynamics on complex Hilbert spaces ⋮ Consistent histories and operational quantum theory ⋮ Weakly intuitionistic quantum logic ⋮ Von Neumann's impossibility proof: mathematics in the service of rhetorics ⋮ An algebraic axiomatization of orthogonal posets. ⋮ The geometry of generalized quantum logics ⋮ Quantum theory as a critical regime of language dynamics ⋮ Quantum theory, namely the pure and reversible theory of information ⋮ Embedding quantum logics in Hilbert space ⋮ Bicomplex harmonic and isotonic oscillators: the excited states ⋮ The role of the modular pairs in the category of complete orthomodular lattice ⋮ Derivation of the rules of quantum mechanics from information-theoretic axioms ⋮ Quantum theory as a relevant framework for the statement of probabilistic and many-valued logic ⋮ `Shut up and comtemplate': Lucien Hardy's reasonable axioms for quantum theory ⋮ Semilattices global valuations in the topos approach to quantum mechanics ⋮ Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs ⋮ Modeling correlated information change: from conditional beliefs to quantum conditionals ⋮ Lexicographic pseudo effect algebras ⋮ A theorem about states on quantum logics ⋮ The structure group of a generalized orthomodular lattice ⋮ Correspondence between Kripke frames and projective geometries ⋮ How probability arises in quantum mechanics ⋮ The superposition of the states and the logic approach to quantum mechanics ⋮ Comparing the axiomatic and ecological approaches to rationality: fundamental agreement theorems in SCOP ⋮ Induced \(C^*\)-complexes in metaplectic geometry ⋮ On the modal logic of the non-orthogonality relation between quantum states ⋮ Ernst Specker and the hidden variables ⋮ Propositional logic of imperfect information: Foundations and applications ⋮ The new quantum logic ⋮ Quantic superpositions and the geometry of complex Hilbert spaces ⋮ A right-invariant lattice-order on groups of paraunitary matrices ⋮ On the identification of the parts of compound quantum objects ⋮ Quantum measures on finite effect algebras with the Riesz decomposition properties ⋮ Q. An algebraic language for quantum-spacetime topology ⋮ Measures on the quantum logic of subspaces of a \(J\)-space ⋮ Quantum theory and determinism ⋮ On varieties of modular ortholattices that are generated by their finite-dimensional members. ⋮ Tensor product of quaternion Hilbert modules ⋮ Recovering quantum logic within an extended classical framework ⋮ Bibliography on quantum logics and related structures ⋮ Probability structures in subspace lattice approach to foundations of quantum theory ⋮ Bell-type inequalities for bivariate maps on orthomodular lattices ⋮ Classical logic and quantum logic with multiple and common lattice models ⋮ Quantum cognition and bounded rationality ⋮ A formal framework for the study of the notion of undefined particle number in quantum mechanics ⋮ Interpreting quantum logic as a pragmatic structure ⋮ Kripke style semantic for the logic of two valued-states ⋮ The problem of conjunction and disjunction in quantum logics ⋮ A logical analysis of quantum voting protocols ⋮ Varieties of orthocomplemented lattices induced by Łukasiewicz-groupoid-valued mappings ⋮ There is more to negation than modality ⋮ Proof theory of paraconsistent quantum logic ⋮ Uncertainty relations and possible experience ⋮ Olson order of quantum observables ⋮ Quaternionic quantum mechanics is consistent with complex quantum mechanics ⋮ New operations on orthomodular lattices: ``Disjunction and ``conjunction induced by Mackey decompositions ⋮ The logic of quantum systems with diagonal singularities. ⋮ Wigner's theorem on symmetries in indefinite metric spaces ⋮ Group representations in certain lattices of propositions ⋮ Quantum information theory ⋮ The structure of projection-valued states: A generalization of Wigner's theorem ⋮ Events and observables in axiomatic quantum mechanics ⋮ Category theory and quantum mechanics (kinematics) ⋮ Reduced axioms for the propositional logics induced by basic algebras ⋮ Intrinsic properties of quantum systems ⋮ Propositional systems and measurements. I ⋮ Quantum models of classical world ⋮ An introduction to hyperholomorphic spectral theories and fractional powers of vector operators ⋮ Time translation of quantum properties ⋮ Contextuality, fine-tuning and teleological explanation ⋮ Generalized Greenberger-Horne-Zeilinger arguments from quantum logical analysis ⋮ Quantum logics that are symmetric-difference-closed ⋮ Quaternion quantum mechanics: Second quantization and gauge fields ⋮ Proper versus improper mixtures: toward a quaternionic quantum mechanics ⋮ A model of mind-body relation in terms of modular logic ⋮ Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism ⋮ Left residuated operators induced by posets with a unary operation ⋮ Extensions of a tight function and their continuity in quantum logic ⋮ Follow the math! : the mathematics of quantum mechanics as the mathematics of set partitions linearized to (Hilbert) vector spaces ⋮ On quantum vs. classical probability ⋮ Coherence and incompatability in W*-algebraic quantum theory ⋮ Wigner-Yanase skew information and uncertainty relations for quaternionic mixed states ⋮ Experimental status of quaternionic quantum mechanics. ⋮ The intrinsic quantum nature of Nash equilibrium mixtures

This page was built for publication: The logic of quantum mechanics