Quantum logic and linear logic

DOI10.1007/BF00670783MaRDI QIDQ1330093zbMATH OpenOpenAlexFDO

Authors V. Pereyra

Publication date 15 August 1994

Published in International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00670783

zbMATH Keywords

involution semigroupslinear logicorthomodular latticesquantalequantum logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Logical aspects of lattices and related structures (03G10) Quantum logic (03G12) Representation theory of lattices (06B15) Complemented lattices, orthocomplemented lattices and posets (06C15) Ordered semigroups and monoids (06F05)

Review text

By tradition, the subject of quantum logic is the lattices of closed subspaces of Hilbert spaces or, more abstractly, orthomodular lattices. \textit{D. J. Foulis} showed in Can. J. Math. 17, 40-51 (1965; Zbl 0146.029) that an orthomodular lattice can be coordinatized by a Baer \(*\)- semigroup. On the other hand, \textit{C. J. Mulvey} [Rend. Circ. Math. Palermo, II. Ser., Suppl. 12, 99-104 (1986; Zbl 0633.46065)] has introduced the concept of a quantale -- a complete lattice with an additional non-commutative operation preserving suprema. Quantales are known as possible models of linear logic, proposed by \textit{J.-Y. Girard} [J. Theor. Comput. Sci. 50, 1-102 (1987; Zbl 0625.03037)]. (By the way, linear logic is also related to calculi of binary relations and to relevant logic.) The author shows that various recently considered kinds of quantales can be viewed as involution semigroups, and tries to unify on this ground the concepts of an orthomodular lattice and a quantale, as well as to clarify the relations between quantum and linear logics.

Recommendations

• scientific article; zbMATH DE number 4173040
• Quantum Logic in the Framework of Linear Logic
• Quantized linear logic, involutive quantales and strong negation
• scientific article; zbMATH DE number 426314
• scientific article; zbMATH DE number 1377711

Cites work

• A characterization of nuclei in orthomodular and quantic lattices
• A globalization of the Hahn-Banach theorem
• scientific article; zbMATH DE number 3129730 (Why is no real title available?)
• scientific article; zbMATH DE number 46487 (Why is no real title available?)
• scientific article; zbMATH DE number 3807678 (Why is no real title available?)
• Linear logic
• Quantum logic as an implication algebra
• The lattice theoretic background of the dimension theory of operator algebras

Cited in

(18)

• Quantum logic and operational quantum mechanics
• Coherent quantum logic
• Binary logic is rich enough
• Quantum logics and instruments
• Quantum logic in algebraic approach
• Quantized linear logic, involutive quantales and strong negation
• Operational quantum logic: a survey and analysis
• Algebraic and categorical aspects of quantales
• scientific article; zbMATH DE number 426314 (Why is no real title available?)
• scientific article; zbMATH DE number 426318 (Why is no real title available?)
• scientific article; zbMATH DE number 4173040 (Why is no real title available?)
• Systems of quantum logic
• scientific article; zbMATH DE number 1024338 (Why is no real title available?)
• Quantum Logic in the Framework of Linear Logic
• On the lattice structure of quantum logic
• On a logic of involutive quantales
• A Kripke semantics for the logic of Gelfand quantales
• Residuated semigroups and the algebraic foundations of quantum mechanics

This page was built for publication: Quantum logic and linear logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1330093)