Quantum Logic in the Framework of Linear Logic

DOI10.4288/JAFPOS1956.9.35zbMATH Open0856.03047OpenAlexW2025702294MaRDI QIDQ4885646FDOQ4885646

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

Recommendations

• Quantum logic and linear logic
• From basic logic to quantum logics with cut-elimination
• Publication:3197878
• Noncommutative linear logic and its quantale semantics

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)

Cited In (7)

• Extended quantum logic
• Logical approach for two-valued states on quantum systems
• Quantum deduction rules
• Typed quantum logic
• Title not available (Why is that?)
• Quantum set theory: transfer principle and De Morgan's laws
• 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)