Publication:4650586
From MaRDI portal
zbMath1073.03036MaRDI QIDQ4650586
Publication date: 18 February 2005
81P10: Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects)
03G12: Quantum logic
03F52: Proof-theoretic aspects of linear logic and other substructural logics
Related Items
On Banach spaces of sequences and free linear logic exponential modality, Unnamed Item, Unnamed Item, Unnamed Item, Linear logic in normed cones: probabilistic coherence spaces and beyond, Models of Linear Logic based on the Schwartz $\varepsilon$-product, A Logical Basis for Quantum Evolution and Entanglement, Logic Discovered and Logic Imposed (A Purim Story), Quantum computation: from a programmer's perspective, Probabilistic coherence spaces as a model of higher-order probabilistic computation, Interaction graphs: multiplicatives, Interaction graphs: additives, Effectible residuated lattices and \(n\)-th roots, Extensions of states on MV-quantales, Semantics of quantum programming languages: Classical control, quantum control, The Free Exponential Modality of Probabilistic Coherence Spaces