Quantum logic and linear logic

DOI10.1007/BF00670783zbMath0811.03045OpenAlexW1969565164MaRDI QIDQ1330093

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

orthomodular latticeslinear logicinvolution semigroupsquantum logicquantale

Mathematics Subject Classification ID

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

Related Items (1)

Algebraic and Categorical Aspects of Quantales

Cites Work

• Linear logic
• A characterization of nuclei in orthomodular and quantic lattices
• A globalization of the Hahn-Banach theorem
• The lattice theoretic background of the dimension theory of operator algebras
• Quantum logic as an implication algebra
• Unnamed Item
• Unnamed Item
• Unnamed Item

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