The logic of quantum mechanics
From MaRDI portal
Publication:2645405
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
Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)
Related Items
How device-independent approaches change the meaning of physical theory ⋮ Sasaki projections ⋮ An axiomatic basis for quantum mechanics ⋮ Logical and algebraic properties of generalized orthomodular posets ⋮ Unitary quantum relativity (work in progress) ⋮ The common logic of quantum universe. I: The case of non-relativistic quantum mechanics ⋮ The common logic of quantum universe. II: The case of quantum gravity ⋮ Representation of state property systems ⋮ Sheaf-theoretic representation of quantum measure algebras ⋮ Relativistic quaternionic wave equation ⋮ The Hahn-Schur Theorem on effect algebras ⋮ Category-theoretic analysis of the notion of complementarity for quantum systems ⋮ Unnamed Item ⋮ Probabilities from entanglement, Born’s rule<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"><mml:mrow><mml:msub><mml:mi>p</mml:mi><mml:mi>k</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:msup><mml:mrow><mml:mo>∣</mml:mo><mml:msub><mml:mi>ψ</mml:mi><mml:mi>k</mml:mi></mml:msub><mml:mo>∣</mml:mo></mml:mrow><mml:mn>2</mml:mn></mml:msup></mml:mrow></mml:math>from envariance ⋮ Dynamics of algebras in quantum unstable systems ⋮ LOGICS FROM QUANTUM COMPUTATION WITH BOUNDED ADDITIVE OPERATORS ⋮ QUANTUM TEAM LOGIC AND BELL’S INEQUALITIES ⋮ A general relational semantics of propositional logic: axiomatization ⋮ Some Peculiarities of Quaternionic Linear Spaces ⋮ QUANTUM LOGIC ASSOCIATED TO FINITE DIMENSIONAL INTERVALS OF MODULAR ORTHOLATTICES ⋮ Geometric Hamiltonian formulation of quantum mechanics in complex projective spaces ⋮ Generalized versions of MV-algebraic central limit theorems ⋮ Lagrangian variational principle in stochastic mechanics: Gauge structure and stability ⋮ Homogeneous effect algebras and observables vs spectral resolutions ⋮ Choice-free duality for orthocomplemented lattices by means of spectral spaces ⋮ Pre-Hilbert spaces with anomalous splitting and orthogonally-closed subspace structures ⋮ WEIGHTED NESTED WORD AUTOMATA AND LOGICS OVER STRONG BIMONOIDS ⋮ Quantales and (noncommutative) linear logic ⋮ Exceptional gauge groups and quantum theory ⋮ The paradox of classical reasoning ⋮ Quantum logic is undecidable ⋮ ABSOLUTE CONTRADICTION, DIALETHEISM, AND REVENGE ⋮ Model-Checking Linear-Time Properties of Quantum Systems ⋮ Functions and operators in real, quaternionic, and Cliffordian contexts ⋮ QUANTUM COMPUTATIONAL FINITE-VALUED LOGICS ⋮ Detecting event-related recurrences by symbolic analysis: applications to human language processing ⋮ Quantum probability and quantum decision-making ⋮ Probabilistic frames for non-Boolean phenomena ⋮ Unnamed Item ⋮ Transitivity and equicontinuity in quantum measure spaces ⋮ John von Neumann 1903-1957 ⋮ Quantum reality and measurement: a quantum logical approach ⋮ Unnamed Item ⋮ Speakable in quantum mechanics ⋮ Sur les Treillis de Boole $*$-généraux ⋮ Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems ⋮ Kolmogorov-Sinai type logical entropy for generalized simultaneous measurements ⋮ Classical and quantum probability ⋮ From unsharp to sharp quantum observables: The general Hilbert space case ⋮ Translation from three-valued quantum logic to modal logic ⋮ The logos categorical approach to quantum mechanics. I: Kochen-Specker contextuality and global intensive valuations ⋮ Wave-particle duality and the objectiveness of ``true and ``false ⋮ Spectra of quaternion unit gain graphs ⋮ Contextual logic for quantum systems ⋮ A solution of the uniform word problem for ortholattices ⋮ No-cloning theorem on quantum logics ⋮ B*-algebra representations in a quaternionic Hilbert module ⋮ A multivectorial Dirac equation ⋮ Convex quantum logic ⋮ Orthomodular lattices and quantales ⋮ Spaces of observables ⋮ Boolean information sieves: a local-to-global approach to quantum information ⋮ Many worlds and modality in the interpretation of quantum mechanics: An algebraic approach ⋮ One-dimensional quaternion homogeneous polynomial differential equations ⋮ Decoherence, einselection, and the quantum origins of the classical ⋮ Zweiwertige Wahrscheinlichkeitsfunktionen auf orthokomplementären Verbänden ⋮ On extension of joint distribution functions on quantum logics ⋮ 2010 North American Annual Meeting of the Association for Symbolic Logic ⋮ Geometry of quantum states ⋮ Bell Could Become the Copernicus of Probability ⋮ Towards many-valued/fuzzy interpretation of quantum mechanics ⋮ Modal-type orthomodular logic ⋮ On the algebraic structure of quantum mechanics ⋮ Higher-order interference and single-system postulates characterizing quantum theory ⋮ Theory of filters ⋮ Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories ⋮ Automata theory based on unsharp quantum logic ⋮ Algebraic properties of fuzzy sets ⋮ Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics ⋮ Mathematical foundations of quantum mechanics: An advanced short course ⋮ Toward the mathematics of a general theory of behavior. I: The lattice \({\mathcal Y}_0\) ⋮ A weakening of intuitionistic logic ⋮ A geometric characterization of quantum gates ⋮ Compatible elements in implicative models ⋮ CONTINUOUS SLICE FUNCTIONAL CALCULUS IN QUATERNIONIC HILBERT SPACES ⋮ TOPOS-THEORETIC CLASSIFICATION OF QUANTUM EVENTS STRUCTURES IN TERMS OF BOOLEAN REFERENCE FRAMES ⋮ Quasi-splitting subspaces and Foulis-Randall subspaces ⋮ A theory of belief for scientific refutations ⋮ An invitation to economical test spaces and effect algebras ⋮ Reforming Takeuti's quantum set theory to satisfy De Morgan's laws ⋮ Diagonalization of Bounded Linear Operators on Separable Quaternionic Hilbert Space ⋮ Sum of \(n\)-dimensional observables on MV-effect algebras ⋮ Quantum decoherence: a logical perspective ⋮ Physical properties as modal operators in the topos approach to quantum mechanics ⋮ Quantal effects and MaxEnt ⋮ New families of finite coherent orthoalgebras without bivaluations ⋮ Some spectral properties of anti-self-adjoint operators on a quaternionic Hilbert space ⋮ Partial order and a T0-topology in a set of finite quantum systems ⋮ A reconstruction of quantum mechanics ⋮ Characterization of tree automata based on quantum logic ⋮ 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 ⋮ Quantum logic in the context of the mathematical foundation of quantum mechanics ⋮ Quantum epistemology and constructivism ⋮ On regular \({}^*\)-algebras of bounded linear operators: a new approach towards a theory of noncommutative Boolean algebras ⋮ A BRIDGE BETWEEN Q-WORLDS ⋮ Sequent Calculi for Orthologic with Strict Implication ⋮ Lattice-valued general orthomodular automata ⋮ The fine structure of the spectral theory on the \(S\)-spectrum in dimension five ⋮ Quantum entanglement: an analysis via the orthogonality relation ⋮ Information-theoretic interpretation of quantum formalism ⋮ Quantum states: an analysis via the orthogonality relation ⋮ Concept of s-numbers in quaternionic analysis and Schatten classes ⋮ Discrete quantum structures. I: Quantum predicate logic ⋮ On Characterizing the Standard Quantum Logics ⋮ Логика как эмпирическая наука. Х.Патнем и М.Рэдхед ⋮ Violation of the Quantum Ordering of Propositions in Hidden-Variable Theories ⋮ Noncontextual coloring of orthogonality hypergraphs ⋮ Quaternionic Representations of Compact Metric Groups ⋮ Dirac Formalism and Symmetry Problems in Quantum Mechanics. I. General Dirac Formalism ⋮ Comments on a recent paper by S. Adler on projective group representations in quaternionic Hilbert spaces ⋮ A Formalism for Generalized Quantum Mechanics ⋮ Probabilistic inequalities and measurements in bipartite systems ⋮ Quantum logic as a consequence of realistic measurements on deterministic systems ⋮ The foundational problem of logic ⋮ A Superposition Principle in Physics ⋮ Quaternionic gauge fields and the geometric phase ⋮ Unnamed Item ⋮ Theory of Observables ⋮ Foundations for Quantum Mechanics ⋮ Axiomatic Foundations of Quantum Theories ⋮ The Birth of quantum logic ⋮ Ensembles and Experiments in Classical and Quantum Physics ⋮ MATRIX-BASED LOGIC FOR APPLICATION IN PHYSICS ⋮ Natural Quantum Operational Semantics with Predicates ⋮ Principle of General Q Covariance ⋮ Trace Formalism for Quantum Mechanical Expectation Values ⋮ Transition amplitude spaces ⋮ Example Related to the Foundations of Quantum Theory ⋮ Quantum logic and the histories approach to quantum theory ⋮ Cohomology of Effect Algebras ⋮ (Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras ⋮ Operational Meanings of Orders of Observables Defined through Quantum Set Theories with Different Conditionals ⋮ Harmonic and polyanalytic functional calculi on the \(S\)-spectrum for unbounded operators ⋮ Ultra-quantum coherent states in a single finite quantum system ⋮ Topological duality for orthomodular lattices ⋮ The physical foundation of quantum theory ⋮ Tense logic based on finite orthomodular posets ⋮ Probability logics for reasoning about quantum observations ⋮ Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect ⋮ Discrete quantum structures. II: Examples ⋮ Extending paraconsistent quantum logic: a single‐antecedent/succedent system approach ⋮ Knowledge about noncommuting quantum observables by means of Einstein–Podolsky–Rosen correlations ⋮ Quantum temporal logic and decoherence functionals in the histories approach to generalized quantum theory ⋮ Quantum Logic and the Locally Convex Spaces ⋮ Unnamed Item ⋮ The center of an orthologic ⋮ Unnamed Item ⋮ Orthomodularity in infinite dimensions; a theorem of M. Solèr ⋮ Interacting quantum observables: categorical algebra and diagrammatics ⋮ A derivation of quantum theory from physical requirements ⋮ LOGICS FROM QUANTUM COMPUTATION ⋮ Unnamed Item ⋮ Quantum logic as motivated by quantum computing ⋮ A spectral order for infinite-dimensional quantum spaces ⋮ Symmetry in Quantum Theory ⋮ 2002–2003 Winter Meeting of the Association for Symbolic Logic ⋮ Quaternions in Relativity ⋮ Schrödinger's cat ⋮ Compositional Quantum Logic ⋮ Logical independence and quantum randomness ⋮ Geometrization of quantum mechanics ⋮ Reversibility and Irreversibility in Quantum Computation and in Quantum Computational Logics ⋮ Superlogic manifolds and geometric approach to quantum logic ⋮ On the equational theory of projection lattices of finite von neumann factors ⋮ Basic algebras, logics, trends and applications ⋮ DYNAMIC QUANTUM LOGIC FOR QUANTUM PROGRAMS ⋮ Projective relativity: Present status and outlook ⋮ QL(ℂn) determines n ⋮ Imbedding of the quantum logic in the modal system of Brower ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski ⋮ Sequential method in quantum logic ⋮ Toward quantum mathematics. I. From quantum set theory to universal quantum mechanics ⋮ Mobility of nonlinear systems ⋮ Density conditions for quantum propositions ⋮ Greechie diagrams, nonexistence of measures in quantum logics, and Kochen–Specker-type constructions ⋮ Contribution à l'étude des treillis semi-modulaires de longueur infinie ⋮ Operator Theory on One-Sided Quaternionic Linear Spaces: Intrinsic S-Functional Calculus and Spectral Operators ⋮ An unconventional canonical quantization of local scalar fields over quantum space-time ⋮ Unnamed Item ⋮ Infinite and finite Gleason’s theorems and the logic of indeterminacy ⋮ Augmented temporal logic formalism for histories-based generalized quantum mechanics ⋮ Nonassociativity, supersymmetry, and hidden variables ⋮ Geometry underlying no-hidden-variable theorems ⋮ Schatten class and Berezin transform of quaternionic linear operators ⋮ Finite Precision Measurement Nullifies the Kochen-Specker Theorem ⋮ Partial Mielnik Spaces and Characterization of Uniformly Convex Spaces ⋮ The Mathematics of Text Structure ⋮ QUANTUM PROBABILITIES AND PARADOXES OF THE QUANTUM CENTURY ⋮ Every Finite Group is the Automorphism Group of Some Finite Orthomodular Lattice ⋮ A Refutation of the Proof by Jauch and Piron that Hidden Variables Can be Excluded in Quantum Mechanics ⋮ Free Mobility and Orthogonality ⋮ Latent Complete-Lattice Structure of Hilbert-Space Projectors ⋮ Quantum Mathematics in Artificial Intelligence ⋮ St. Alasdair on Lattices Everywhere ⋮ Operational Statistics. I. Basic Concepts ⋮ Operational statistics. II. Manuals of operations and their logics ⋮ Quantum monadic algebras ⋮ Combinations of quantum observables and instruments ⋮ Coordinate and Momentum Observables in Axiomatic Quantum Mechanics ⋮ An Axiomatic Approach to the Formalism of Quantum Mechanics. I.
