Holistic logical arguments in quantum computation

DOI10.1515/MS-2015-0138MaRDI QIDQ2822864zbMATH OpenOpenAlexFDO

Authors Maria Luisa Dalla Chiara, Roberto Leporini, Roberto Giuntini, Giuseppe Sergioli

Publication date 5 October 2016

Published in Mathematica Slovaca (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1602.07516

zbMATH Keywords

holistic semanticsquantum logics

Mathematics Subject Classification ID

Quantum logic (03G12) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum computation (81P68)

Abstract: Quantum computational logics represent a logical abstraction from the circuit-theory in quantum computation. In these logics formulas are supposed to denote pieces of quantum information (qubits, quregisters or mixtures of quregisters), while logical connectives correspond to (quantum logical) gates that transform quantum information in a reversible way. The characteristic holistic features of the quantum theoretic formalism (which play an essential role in entanglement-phenomena) can be used in order to develop a holistic version of the quantum computational semantics. In contrast with the compositional character of most standard semantic approaches, meanings of formulas are here dealt with as global abstract objects that determine the contextual meanings of the formulas' components (from the whole to the parts). We present a survey of the most significant logical arguments that are valid or that are possibly violated in the framework of this semantics. Some logical features that may appear prima facie strange seem to reflect pretty well informal arguments that are currently used in our rational activity.

Recommendations

• Holism, ambiguity and approximation in the logics of quantum computation: a survey
• LOGICS FROM QUANTUM COMPUTATION
• Quantum computational logics and possible applications
• Logics from quantum computation with bounded additive operators
• Compositional and holistic quantum computational semantics

Cited in

(12)

• Towards a multi target quantum computational logic
• Explaining versus describing human decisions: Hilbert space structures in decision theory
• Quantum structures in human decision-making: towards quantum expected utility
• On an explicit representation of the Łukasiewicz sum as a quantum operation
• Holism, ambiguity and approximation in the logics of quantum computation: a survey
• Quantum-inspired minimum distance classification in a biomedical context
• Quantum probability: a reliable tool for an agent or a reliable source of reality?
• Testing quantum models of conjunction fallacy on the world wide web
• Fuzzy type representation of the Fredkin gate in quantum computation with mixed states
• A quantum-inspired version of the classification problem
• Entanglement and quantum logical gates. I.
• A quantum approach to vagueness and to the semantics of music

This page was built for publication: Holistic logical arguments in quantum computation

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