Publication:2851801
From MaRDI portal
zbMath1273.03172MaRDI QIDQ2851801
Paulo Mateus, Rohit Chadha, Cristina Sernadas, Amílcar Sernadas
Publication date: 4 October 2013
81P10: Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects)
03G12: Quantum logic
Related Items
Probability logics for reasoning about quantum observations, Importing logics, Fibring as biporting subsumes asymmetric combinations, Reasoning about probabilistic sequential programs