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

basic logicfirst order variablesinterpretations of quantum mechanicslogic and probabilitypredicative logicquantum contextualityquantum entanglementquantum logicquantum parallelismquantum statesrandom variablessequent calculus

Mathematics Subject Classification ID

Classical propositional logic (03B05) General and philosophical questions in quantum theory (81P05) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum measurement theory, state operations, state preparations (81P15) 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

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

Cited in

(2)

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

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)