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

phase structurequantum phase spacesextension of Girard's linear logicformal system for quantum logicGirard's phase spaceslogic of orthomodular lattices

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
• Publication:3197878
• Noncommutative linear logic and its quantale semantics

Cited in

(7)

• On multiplicative linear logic, modality and quantum circuits
• Extended quantum logic
• Logical approach for two-valued states on quantum systems
• Quantum deduction rules
• Typed quantum logic
• scientific article; zbMATH DE number 2134919 (Why is no real title available?)
• Quantum set theory: transfer principle and De Morgan's laws

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)