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