A Qualitative Modal Representation of Quantum Register Transformations

Simple item page
dc.creatorMasini, Andrea
dc.creatorViganò, Luca
dc.creatorZorzi, Margherita
dc.date2008-02-27
dc.date2008-03-05
dc.date.accessioned2026-07-07T09:24:29Z
dc.date.available2026-07-07T09:24:29Z
dc.descriptionWe introduce two modal natural deduction systems that are suitable to represent and reason about transformations of quantum registers in an abstract, qualitative, way. Quantum registers represent quantum systems, and can be viewed as the structure of quantum data for quantum operations. Our systems provide a modal framework for reasoning about operations on quantum registers (unitary transformations and measurements), in terms of possible worlds (as abstractions of quantum registers) and accessibility relations between these worlds. We give a Kripke--style semantics that formally describes quantum register transformations and prove the soundness and completeness of our systems with respect to this semantics.
dc.identifierhttps://arxiv.org/abs/0802.4057
dc.identifierhttp://arxiv.org/abs/0802.4057
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/156115
dc.subjectLogic in Computer Science
dc.titleA Qualitative Modal Representation of Quantum Register Transformations
dc.typetext

Files

Collections

arXiv