The Logico-Algebraic Approach to Quantum Mechanics

The Logic of Quantum Mechanics (1936).- The Logic of Complementarity and the Foundation of Quantum Theory (1972).- Mathematics as Logical Syntax — A Method to Formalize the Language of a Physical Theory (1937–38).- Three-Valued Logic and the Interpretation of Quantum Mechanics (1944).- Three-Valued Logic (1957).- Reichenbach’s Interpretation of Quantum Mechanics (1958).- Measures on the Closed Subspaces of a Hilbert Space (1957).- The Logic of Propositions Which are not Simultaneously Decidable (1960).- Baer *-Semigroups (1960).- Axioms for Non-Relativistic Quantum Mechanics (1961).- Probability in Physics and a Theorem on Simultaneous Observability (1962).- Semantic Representation of the Probability of Formulas in Formalized Theories (1963).- The Structure of the Propositional Calculus of a Physical Theory (1964).- Boolean Embeddings of Orthomodular Sets and Quantum Logic (1965).- Logical Structures Arising in Quantum Theory (1965).- The Calculus of Partial Propositional Functions (1965).- The Problem of Hidden Variables in Quantum Mechanics (1967).- Logics Appropriate to Empirical Theories (1965).- The Probabilistic Argument for a Non-Classical Logic of Quantum Mechanics (1966).- Foundations of Quantum Mechanics (1967).- Baer *-Semigroups and the Logic of Quantum Mechanics (1968).- Semimodularity and the Logic of Quantum Mechanics (1968).- On the Structure of Quantum Logic (1969).- On the Structure of Quantal Proposition Systems (1969).- The Current Interest in Orthomodular Lattices (1970).- Integration Theory of Observables (1970).- Probabilistic Formulation of Classical Mechanics (1970).- Atomicity and Determinism in Boolean Systems (1971).- Survey of General Quantum Physics (1972).- Quantum Logics (1974).- The Labyrinth of Quantum Logics (1974).