Hostname: page-component-78c5997874-94fs2 Total loading time: 0 Render date: 2024-11-13T02:58:32.453Z Has data issue: false hasContentIssue false
  • English
  • Français

Imbedding of the quantum logic in the modal system of Brower

Published online by Cambridge University Press:  12 March 2014

Herman Dishkant
Herman Dishkant*
Affiliation:
Dniepropetrovsk University, USSR
Get access Rights & Permissions [Opens in a new window]

Extract

We lean upon the usual variant of the logic of quantum mechanics [1]. Here the propositions correspond to the results of the quantum experiments. A beautiful essay [2] may be connected with a conservation of semantics. But we try to broaden the semantics, admitting propositions about the possibility of results of experiments. Doing so, we fulfil the old wish of W. A. Fock, who attracts our attention to the importance of the modal categories for the interpretation of the quantum theory [3].

We begin with the formal description of the modal system Br+. The alphabet contains the signs ~, ∨ and Ↄ (negation, alternative and the sign of necessity), the set V of the prepositional variables and parentheses. The rules of formation are: if A ∈ V, then A is a proposition; if X and Y are propositions, then ~ X, X ∨ Y and Ↄ X are propositions also; there are no other propositions. ℬ will design the set of all propositions.

The rules of transformation are the following:

.

Here X, Y ∈ ℬ. The sign ⊨ denotes the derivability in Br+ (in one step here).

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 42 , Issue 3 , September 1977 , pp. 321 - 328
Copyright
Copyright © Association for Symbolic Logic 1977

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Birkhoff, G. and von Neumann, J., The logic of quatum mechanics, Annals of Mathematics, vol. 37 (1936), pp. 823–843.CrossRefGoogle Scholar
[2]Finch, P. D., On the structure of quantum logic, this Journal, vol. 34 (1969), pp. 275–282.Google Scholar
[3]Fock, W. A., About the interpretation of the quantum mechanics, Uspehi Physicheskich Nauk, Moscow, vol. 62 (1957), pp. 461–474.Google Scholar
[4]Schütte, K., Vollständige Systeme modaler und intuitionistischer Logik, Berlin, 1968.CrossRefGoogle Scholar
[5]Birkhoff, G., Lattice theory, Colloquium Publications, vol. 25, American Mathematical Society, Providence, Rhode Island, 1967.Google Scholar
[6]Cohen, P. J., Set theory and the continuum hypothesis, New York, 1966.Google Scholar