Quantum logic in intuitionistic perspective
From MaRDI portal
Publication:1604802
DOI10.1023/A:1015106515413zbMATH Open0999.03058arXivmath/0011208OpenAlexW1575413252MaRDI QIDQ1604802FDOQ1604802
Authors: Bob Coecke 
Publication date: 8 July 2002
Published in: Studia Logica (Search for Journal in Brave)
Abstract: In their seminal paper Birkhoff and von Neumann revealed the following dilemma: "... whereas for logicians the orthocomplementation properties of negation were the ones least able to withstand a critical analysis, the study of mechanics points to the distributive identities as the weakest link in the algebra of logic." In this paper we eliminate this dilemma, providing a way for maintaining both. Via the introduction of the "missing" disjunctions in the lattice of properties of a physical system while inheriting the meet as a conjunction we obtain a complete Heyting algebra of propositions on physical properties. In particular there is a bijective correspondence between property lattices and propositional lattices equipped with a so called operational resolution, an operation that exposes the properties on the level of the propositions. If the property lattice goes equipped with an orthocomplementation, then this bijective correspondence can be refined to one with propositional lattices equipped with an operational complementation, as such establishing the claim made above. Formally one rediscovers via physical and logical considerations as such respectively a specification and a refinement of the purely mathematical result by Bruns and Lakser (1970) on injective hulls of meet-semilattices. From our representation we can derive a truly intuitionistic functional implication on property lattices, as such confronting claims made in previous writings on the matter. We also make a detailed analysis of disjunctivity vs. distributivity and finitary vs. infinitary conjunctivity, we briefly review the Bruns-Lakser construction and indicate some questions which are left open.
Full work available at URL: https://arxiv.org/abs/math/0011208
Recommendations
Quantum logic (03G12) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Complemented lattices, orthocomplemented lattices and posets (06C15) Heyting algebras (lattice-theoretic aspects) (06D20)
Cited In (29)
- Topos quantum logic and mixed states
- Quantum logics and completeness criteria of inner product spaces
- The lattice structure of quantum logics
- The logic of quantum mechanics (Revisited)
- A Presentation of Quantum Logic Based on an and then Connective
- Quantum logics with the Riesz Interpolation Property
- Effect algebras and unsharp quantum logics.
- Partial and unsharp quantum logics.
- Disjunctive quantum logic in dynamic perspective
- Concrete quantum logics with covering properties
- The complete Heyting algebra of subsystems and contextuality
- Quantum-like logics and schizophrenia
- Schrödinger logics
- 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03
- Title not available (Why is that?)
- Paraconsistent ideas in quantum logic
- A comparison of two topos-theoretic approaches to quantum theory
- Quantum logic in algebraic approach
- QUANTUM LOGIC ASSOCIATED TO FINITE DIMENSIONAL INTERVALS OF MODULAR ORTHOLATTICES
- Quantum Logic and Quantum Theory in a Game-Theoretic Perspective
- Partial quantum logics revisited
- A categorical quantum logic
- Quantum logics, games, and equilibriums
- Bohrification of operator algebras and quantum logic
- Weakly intuitionistic quantum logic
- Concrete quantum logics with generalised compatibility
- Natural deduction for quantum logic
- Intuitionistic quantum logic of an \(n\)-level system
- The canonical topology on a meet-semilattice
This page was built for publication: Quantum logic in intuitionistic perspective
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1604802)
