Weakly complete axiomatization of exogenous quantum propositional logic (Q2495653): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 6 users not shown) | |||
Property / author | |||
Property / author: Paulo Mateus / rank | |||
Property / author | |||
Property / author: Amílcar Sernadas / rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q59196691 / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Paulo Mateus / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Amílcar Sernadas / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: ALGOL 60 / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2147119042 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: math/0503453 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Logics in Artificial Intelligence / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2706552 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2964096 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Reasoning in quantum theory. Sharp and unsharp quantum logics. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4699336 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4329287 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Probabilistic logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Probabilistic logic revisited / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A logic for reasoning about probabilities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Decidability and expressiveness for first-order logics of probability / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semantics of the minimal logic of quantum mechanics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3527403 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Computer Science Logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5523316 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4285775 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Completeness in the theory of types / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5332215 / rank | |||
Normal rank |
Latest revision as of 17:41, 24 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Weakly complete axiomatization of exogenous quantum propositional logic |
scientific article |
Statements
Weakly complete axiomatization of exogenous quantum propositional logic (English)
0 references
30 June 2006
0 references
This paper apparently builds on earlier work by the same authors who have already proposed ``a new logic (EQPL -- exogenous quantum propositional logic) for modelling and reasoning about quantum systems, embodying all that is stated in the postulates of quantum physics'' (p. 771). The logic was designed ``from the semantics upwards starting with the key idea of adopting superpositions of classical models as the models of the proposed quantum logic'' (ibid.). So in contrast to ``quantum logic'' in the tradition of von Neumann and Birkhoff, where the lattice operations of Hilbert Space generate new quantum propositional connectives, here classical logic is extended by valuation structures that are derived from ``a finitary Hilbert calculus for EQPL'' (p. 772). At heart is the notion that unit vectors \(|\Psi\rangle\) representing quantum states are acted on by classical valuations \(v\) to produce ``logical amplitudes of \(|\Psi\rangle\) for \(v\)'' given by the inner product of \(v\) and \(|\Psi\rangle\). Section 2, ``Key design ideas'', gives a clear informal discussion of the ``quantum postulates'' derived from Hilbert space, and uses this discussion to introduce key features of the semantics. By loose analogy with Kripke methods, valuations of EQPL are derived from a ``quantum intepretation structure'' \(w = (V,S,|\Psi\rangle,v)\). \(V\) contains ``admissable'' classical valuations, \(S\) is a finite partition over \(V\), \(|\Psi\rangle\) is a quantum state, i.e., a unit vector of the Hilbert space, and \(v\) is a mapping defined so as to provide the means for interpreting amplitude terms, ``even when they are physically undefined'', avoiding the need for ``partial interpretation structures'' (p. 775). A finite probability space is then associated with each such interpretation structure in a way that allows probabilities to be assigned in a given quantum state, to the truth of classical propositions (p. 776). The structures introduced informally in Section 2 are elaborated and developed in Part 3, ``Language and semantics''. Unfortunately the symbolism may be unfamiliar to traditional logicians, who would have been helped by a few key definitions. Part 4, ``Axiomatisation'', introduces the notion of quantum tautology and provides a finitary axiomatisation of the computational logic using two rules and fifteen axiom schemas, including an analytical oracle. Finally in Part 5 the proof of bounded weak completeness is presented ``using a non-trivial extension of the Fagin-Halpern-Megiddo technique together with three Henkin like completions'' (p. 791).
0 references
quantum logic
0 references
quantum models
0 references
probability logic
0 references
exogenous quantum logic
0 references