scientific article; zbMATH DE number 1283787

zbMATH Open0922.03085MaRDI QIDQ4240157FDOQ4240157

Authors: Mladen Pavičić, Norman D. Megill 

Publication date: 11 October 1999

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 3948264
• Quantum logic as a dynamic logic
• scientific article; zbMATH DE number 1790849
• Minimal quantum logic with merged implications
• Orthomodularity is not elementary

zbMATH Keywords

modus ponensquantum computationorthomodular latticebinary orthologicbinary quantum logic

Mathematics Subject Classification ID

Quantum logic (03G12) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Cited In (4)

• Automatic proofs and counterexamples for some ortholattice identities
• Distribution in the logic of meaning containment and in quantum mechanics
• Classical logic and quantum logic with multiple and common lattice models
• Natural deduction for quantum logic

This page was built for publication:

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