A logical description for perfect measurements

Simple item page
dc.creatorCoecke, Bob
dc.creatorSmets, Sonja
dc.date2000-08-03
dc.date.accessioned2026-07-07T06:00:35Z
dc.date.available2026-07-07T06:00:35Z
dc.descriptionWe reconsider the description for property transitions due to perfect measurements, viewing them as a special case of general transitions that are due to an externally imposed change. We propose a corresponding syntax involving operational quantum logic and a fragment of non-commutative linear logic.
dc.description6 pages. The published version suffered seriously in the editing process (\otimes and \oplus, and {\cal P} and P, and references got mixed up in a slightly random way); corrected proofs seem to have dissapeared at the editorial office
dc.identifierhttps://arxiv.org/abs/quant-ph/0008017
dc.identifierhttp://arxiv.org/abs/quant-ph/0008017
dc.identifierInternational Journal of theoretical Physics 39 (3) 595-604, 2000
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/89006
dc.subjectQuantum Physics
dc.subjectLogic
dc.titleA logical description for perfect measurements
dc.typetext

Files

Collections

arXiv