A double deduction system for quantum logic based on natural deduction

DOI10.1023/A:1017941704456zbMath0868.03029OpenAlexW2026959545MaRDI QIDQ676184

Yannis Delmas-Rigoutsos

Publication date: 3 August 1997

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1017941704456

zbMATH Keywords

orthomodular latticenatural deductioncompatibilityprojection operationpropositional quantum logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)

Related Items (2)

Natural deduction for quantum logic ⋮ Toward a more natural expression of quantum logic with Boolean fractions

Cites Work

• Linear logic
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A double deduction system for quantum logic based on natural deduction