Results 281 to 290 of about 189,987 (323)
Some of the next articles are maybe not open access.
Foundations of Physics, 1989
Unified quantum logic based on unified operations of implication is formulated as an axiomatic calculus. Soundness and completeness are demonstrated using standard algebraic techniques. An embedding of quantum logic into a new modal system is carried out and discussed.
openaire +3 more sources
Unified quantum logic based on unified operations of implication is formulated as an axiomatic calculus. Soundness and completeness are demonstrated using standard algebraic techniques. An embedding of quantum logic into a new modal system is carried out and discussed.
openaire +3 more sources
American Journal of Physics, 1983
A discussion of quantum logic is presented. An example, drawn from elementary quantum mechanics, is used to illustrate the failure of the classical distributive law which is quantum logic’s most singular feature. Furthermore, an elaboration and explanation of an existing analog suitable for classroom demonstration is also presented.
Carl G. Adler, James F. Wirth
openaire +1 more source
A discussion of quantum logic is presented. An example, drawn from elementary quantum mechanics, is used to illustrate the failure of the classical distributive law which is quantum logic’s most singular feature. Furthermore, an elaboration and explanation of an existing analog suitable for classroom demonstration is also presented.
Carl G. Adler, James F. Wirth
openaire +1 more source
Partial quantum logics and Łukasiewicz’ quantum logic
2004In Chapter 5, we have considered examples of partial algebraic structures, where the basic operations are not always defined. How does one give a semantic characterization for the different forms of quantum logic corresponding, respectively, to the class of all effect algebras, of all orthoalgebras and of all orthomodular posets?
M. Dalla Chiara +2 more
openaire +1 more source
International Journal of Theoretical Physics, 2007
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Tran, Quan, Wilce, Alexander
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Tran, Quan, Wilce, Alexander
openaire +1 more source
Fuzzy intuitionistic quantum logics
Studia Logica, 1993Fuzzy intuitionistic quantum logics, or Brouwer-Zadeh logics, have been introduced by the first author and \textit{G. Nistico} [Fuzzy Sets Syst. 33, 165-190 (1989; Zbl 0682.03036)]. In this model, which serves as standard version of quantum logic, the notion of negation is splitted into two forms: a fuzzy-like one and an intuitionistic one.
CATTANEO G +2 more
openaire +2 more sources
1976
Strict analysis of quantum theory has shown that for certain propositions about quantum-mechanical systems some laws of logic lose their validity. This assertion is justified by pointing out that quantum mechanics is an empirically verified theory.
openaire +1 more source
Strict analysis of quantum theory has shown that for certain propositions about quantum-mechanical systems some laws of logic lose their validity. This assertion is justified by pointing out that quantum mechanics is an empirically verified theory.
openaire +1 more source
PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association, 1974
It has been shown by Birkhoff and v. Neumann (1936) and by Jauch and Piron (1963,1964,1968) that the subspaces of Hilbert space constitute an orthocomplemented quasi-modular lattice Lq, if one considers between two subspaces (elements) a, b the relation a⊆b and the operations a∩b, a∪b, a⊥.
openaire +1 more source
It has been shown by Birkhoff and v. Neumann (1936) and by Jauch and Piron (1963,1964,1968) that the subspaces of Hilbert space constitute an orthocomplemented quasi-modular lattice Lq, if one considers between two subspaces (elements) a, b the relation a⊆b and the operations a∩b, a∪b, a⊥.
openaire +1 more source
International Journal of Theoretical Physics, 1994
Let \(V\) be an \(h\)-fuzzy quantum logic for a normed generator \(h\) (\(h\) is a strictly increasing continuous mapping of the unit interval onto itself). Then \(V\) is a quantum logic. This result generalizes the previous result by \textit{J. Pykacz} [in the paper reviewed above].
openaire +2 more sources
Let \(V\) be an \(h\)-fuzzy quantum logic for a normed generator \(h\) (\(h\) is a strictly increasing continuous mapping of the unit interval onto itself). Then \(V\) is a quantum logic. This result generalizes the previous result by \textit{J. Pykacz} [in the paper reviewed above].
openaire +2 more sources
2018
The topic of quantum logic was introduced by Birkhoff and von Neumann (1936), who described the formal properties of a certain algebraic system associated with quantum theory. To avoid begging questions, it is convenient to use the term ‘logic’ broadly enough to cover any algebraic system with formal characteristics similar to the standard sentential ...
openaire +1 more source
The topic of quantum logic was introduced by Birkhoff and von Neumann (1936), who described the formal properties of a certain algebraic system associated with quantum theory. To avoid begging questions, it is convenient to use the term ‘logic’ broadly enough to cover any algebraic system with formal characteristics similar to the standard sentential ...
openaire +1 more source
Quantum guidelines for solid-state spin defects
Nature Reviews Materials, 2021Gary Wolfowicz +2 more
exaly