Extending classical logic for reasoning about quantum systems

MaRDI QIDQ2851801zbMATH OpenFDO

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)