A logical description for perfect measurements
classification
🪐 quant-ph
math.LO
keywords
descriptionlogicmeasurementsperfecttransitionscasechangecorresponding
read the original abstract
We 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.