Systems of Quantum Logic

Studia Logica 101 (1):193-217 (2013)
  Copy   BIBTEX

Abstract

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,296

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2012-06-12

Downloads
5 (#1,562,871)

6 months
57 (#86,857)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

A lattice-valued set theory.Satoko Titani - 1999 - Archive for Mathematical Logic 38 (6):395-421.
Strong completeness of lattice-valued logic.Mitio Takano - 2002 - Archive for Mathematical Logic 41 (5):497-505.

Add more references