Systems of Quantum Logic
- 170 Downloads
Logical implications are closely related to modal operators. Lattice-valued logic LL and quantum logic QL were formulated in Titani S (1999) Lattice Valued Set Theory. Arch Math Logic 38:395–421, Titani S (2009) A Completeness Theorem of Quantum Set Theory. In: Engesser K, Gabbay DM, Lehmann D (eds) Handbook of Quantum Logic and Quantum Structures: Quantum Logic. Elsevier Science Ltd., pp. 661–702, by introducing the basic implication → which represents the lattice order. In this paper, we fomulate a predicate orthologic provided with the basic implication, which corresponds to complete ortholattices, and then formulate a quantum logic which is equivalent to QL, by using a modal operator instead of the basic implication.
KeywordsLogic Modality Quantum theory Set theory
Unable to display preview. Download preview PDF.
- 3.Piron, C., Foundations of Quantum Physics, W.A. Benjamin, Inc., Massachusetts, 1976.Google Scholar
- 5.Takeuti, G., Two Applications of Logic to Mathematics, Iwanami and Princeton University Press, Tokyo and Princeton, 1978.Google Scholar
- 6.Takeuti, G., Quantum set theory, in E. Beltrametti and B. C. van Frassen (eds.), Current Issues in Quantum Logic, pp. 303–322, Plenum, New York, 1981.Google Scholar
- 8.Titani, S., A completeness theorem of quantum set theory, in K. Engesser, D. M. Gabbay, and D. Lehmann (eds.), Handbook of Quantum Logic and Quantum Structures: Quantum Logic, pp. 661–702, Elsevier Science Ltd., 2009.Google Scholar