Abstract | ||
---|---|---|
This paper is based on a semantic foundation of quantum logic which makes use of dialog-games. In the first part of the paper the dialogic method is introduced and under the conditions of quantum mechanical measurements the rules of a dialog-game about quantum mechanical propositions are established. In the second part of the paper the quantum mechanical dialog-game is replaced by a calculus of quantum logic. As the main part of the paper we show that the calculus of quantum logic is complete and consistent with respect to the dialogic semantics. Since the dialog-game does not involve the ‘excluded middle’ the calculus represents a calculus of effective (intuitionistic) quantum logic. |
Year | DOI | Venue |
---|---|---|
1976 | 10.1007/BF00248731 | J. Philosophical Logic |
Keywords | Field | DocType |
Hilbert Space, Main Part, Forthcoming Paper, Quantum Logic, Mechanical Measurement | Open quantum system,Quantum probability,Discrete mathematics,Categorical quantum mechanics,Quantum process,Proof calculus,Quantum logic,Many-valued logic,Mathematics,Quantum operation | Journal |
Volume | Issue | ISSN |
5 | 2 | 1573-0433 |
Citations | PageRank | References |
3 | 1.26 | 0 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ernst-Walther Stachow | 1 | 10 | 4.46 |