Extending classical logic for reasoning about quantum systems

zbMATH Open1273.03172MaRDI QIDQ2851801FDOQ2851801

Authors: Rohit Chadha, Paulo Mateus, Amílcar Sernadas, Cristina Sernadas 

Publication date: 4 October 2013

Mathematics Subject Classification ID

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

Cited In (5)

• Probability logics for reasoning about quantum observations
• Reasoning about probabilistic sequential programs
• Classical logic and quantum logic with multiple and common lattice models
• Importing logics
• Fibring as biporting subsumes asymmetric combinations

This page was built for publication: Extending classical logic for reasoning about quantum systems

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