Quantum Logic in the Framework of Linear Logic

DOI10.4288/JAFPOS1956.9.35MaRDI QIDQ4885646zbMATH OpenOpenAlexFDO

Authors Akira Oide

Publication date 11 February 1997

Published in Annals of the Japan Association for Philosophy of Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4288/jafpos1956.9.35

zbMATH Keywords

extension of Girard's linear logicformal system for quantum logicGirard's phase spaceslogic of orthomodular latticesphase structurequantum phase spaces

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Quantum logic (03G12)

Recommendations

• Quantum logic and linear logic
• From basic logic to quantum logics with cut-elimination
• scientific article; zbMATH DE number 4173040
• Noncommutative linear logic and its quantale semantics

Cited in

(11)

• Quantum deduction rules
• From basic logic to quantum logics with cut-elimination
• Quantum logic and linear logic
• Extended quantum logic
• Typed quantum logic
• Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems
• Quantum set theory: transfer principle and De Morgan's laws
• scientific article; zbMATH DE number 4212038 (Why is no real title available?)
• scientific article; zbMATH DE number 2134919 (Why is no real title available?)
• Logical approach for two-valued states on quantum systems
• On multiplicative linear logic, modality and quantum circuits

This page was built for publication: Quantum Logic in the Framework of Linear Logic

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