Characterization of quantum states in predicative logic

DOI10.1007/S10773-011-0899-3MaRDI QIDQ429954zbMATH OpenOpenAlexFDO

Authors Giulia Battilotti

Publication date 20 June 2012

Published in International Journal of Theoretical Physics (Search for Journal in Brave)

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

zbMATH Keywords

random variablesquantum entanglementquantum logicsequent calculusquantum statesinterpretations of quantum mechanicsbasic logicquantum contextualityfirst order variableslogic and probabilitypredicative logicquantum parallelism

Mathematics Subject Classification ID

Classical propositional logic (03B05) General and philosophical questions in quantum theory (81P05) Quantum measurement theory, state operations, state preparations (81P15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum state spaces, operational and probabilistic concepts (81P16)

Abstract: We develop a characterization of quantum states by means of first order variables and random variables, within a predicative logic with equality, in the framework of basic logic and its definitory equations. We introduce the notion of random first order domain and find a characterization of pure states in predicative logic and mixed states in propositional logic, due to a focusing condition. We discuss the role of first order variables and the related contextuality, in terms of sequents.

Recommendations

• Probabilistic logic of quantum observations
• Topos quantum logic and mixed states
• Classical foundations of quantum logic
• Quantum Probabilistic Dyadic Second-Order Logic
• Correlations, contextuality and quantum logic

Cites work

• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 2070198 (Why is no real title available?)
• Basic logic: reflection, symmetry, visibility
• Interpreting quantum parallelism by sequents

Cited in

(2)

• Quantum states as virtual singletons: converting duality into symmetry
• A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations

This page was built for publication: Characterization of quantum states in predicative logic

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