Compositional and holistic quantum computational semantics

DOI10.1007/S11047-006-9020-XMaRDI QIDQ885682zbMATHOpenAlexFDO

Authors Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini

Publication date 14 June 2007

Published in Natural Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11047-006-9020-x

zbMATH Keywords

quantum computationquantum logic

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68) Quantum logic (03G12)

Recommendations

• Holistic quantum computational semantics and Gestalt-thinking
• Compositional quantum logic
• Quantum computational semantics on Fock space
• Semantic abstraction and quantum computation
• Applying quantitative semantics to higher-order quantum computing
• QUANTUM COMPUTATIONAL LOGICS AND FOCK SPACE SEMANTICS
• A hierarchy of quantum semantics
• scientific article; zbMATH DE number 5667324
• Formal semantics of a classical-quantum language
• Holism, ambiguity and approximation in the logics of quantum computation: a survey

Cites work

• scientific article; zbMATH DE number 2070198 (Why is no real title available?)
• ACCELERATION OF QUANTUM ALGORITHMS USING THREE-QUBIT GATES
• Handbook of philosophical logic. Vol. 9
• LOGICS FROM QUANTUM COMPUTATION
• Machines, Logic and Quantum Physics
• Quantum computational logic
• Reasoning in quantum theory. Sharp and unsharp quantum logics.

Cited in

(16)

• Certified quantum computation in Isabelle/HOL
• Quantum states as virtual singletons: converting duality into symmetry
• Holistic quantum computational semantics and Gestalt-thinking
• Logics from quantum computation with bounded additive operators
• Holism, ambiguity and approximation in the logics of quantum computation: a survey
• Holistic and compositional logics based on the Bertini gate
• Holistic logical arguments in quantum computation
• Fuzzy representation of finite-valued quantum gates
• Interpreting quantum parallelism by sequents
• Entanglement as a semantic resource
• Qubit semantics and quantum trees
• A fuzzy approach to quantum logical computation
• Reversibility and Irreversibility in Quantum Computation and in Quantum Computational Logics
• Quantum computational semantics on Fock space
• Quantum computational logics and possible applications
• scientific article; zbMATH DE number 5667324 (Why is no real title available?)

This page was built for publication: Compositional and holistic quantum computational semantics

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