Compositional and holistic quantum computational semantics

DOI10.1007/S11047-006-9020-XzbMATH Open1120.68052OpenAlexW2052263222MaRDI QIDQ885682FDOQ885682

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

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
• Formal semantics of a classical-quantum language
• Holism, ambiguity and approximation in the logics of quantum computation: a survey

zbMATH Keywords

quantum computationquantum logic

Mathematics Subject Classification ID

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

Cites Work

• Reasoning in quantum theory. Sharp and unsharp quantum logics.
• Machines, Logic and Quantum Physics
• Quantum computational logic
• LOGICS FROM QUANTUM COMPUTATION
• Handbook of philosophical logic. Vol. 9
• Title not available (Why is that?)
• ACCELERATION OF QUANTUM ALGORITHMS USING THREE-QUBIT GATES

Cited In (16)

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

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)