Results 281 to 290 of about 14,291 (316)
Some of the next articles are maybe not open access.
International Journal of Theoretical Physics, 1983
On the basis of the well-known quantum logic and quantum probability a formal language of relativistic quantum physics is developed. This language incorporates quantum logical as well as relativistic restrictions. It is shown that relativity imposes serious restrictions on the validity regions of propositions in space-time.
openaire +2 more sources
On the basis of the well-known quantum logic and quantum probability a formal language of relativistic quantum physics is developed. This language incorporates quantum logical as well as relativistic restrictions. It is shown that relativity imposes serious restrictions on the validity regions of propositions in space-time.
openaire +2 more sources
Journal of Philosophical Logic, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Delinearization of quantum logic
International Journal of Theoretical Physics, 1993The author describes a construction inspired by the Kadison representation theorem. He starts with an orthomodular poset \(L\). Following \textit{H. R. Fischer} and \textit{G. T. Rüttimann} [``The geometry of the state space'', in: Mathematical foundations of quantum theory (A. R.
openaire +3 more sources
International Journal of Theoretical Physics, 2003
In [\textit{G. Cattaneo, M. Dalla Chiara, R. Giuntini} and \textit{R. Leporini}, An unsharp logic from quantum computation. Int. J. Theor. Phys. (in press)], the authors developed a new form of quantum logic (called \textit{quantum computational logic}) based on the theory of quantum computation.
openaire +3 more sources
In [\textit{G. Cattaneo, M. Dalla Chiara, R. Giuntini} and \textit{R. Leporini}, An unsharp logic from quantum computation. Int. J. Theor. Phys. (in press)], the authors developed a new form of quantum logic (called \textit{quantum computational logic}) based on the theory of quantum computation.
openaire +3 more sources
International Journal of Theoretical Physics, 2003
This paper develops a higher-order version of orthomodular logic in terms of type theory. The soundness and completeness theorems are established.
openaire +3 more sources
This paper develops a higher-order version of orthomodular logic in terms of type theory. The soundness and completeness theorems are established.
openaire +3 more sources
International Journal of Theoretical Physics, 1987
The author, unsatisfied with the von Neumann quantum logic, pursues the structural parallel between set algebra and linear algebra of Grassmann and Peano. Along these lines he compares three types of quantum logic: (1) the lattic logic of von Neumann, (2) a Clifford algebraic logic, and (3) a Grassmann algebraic logic.
openaire +3 more sources
The author, unsatisfied with the von Neumann quantum logic, pursues the structural parallel between set algebra and linear algebra of Grassmann and Peano. Along these lines he compares three types of quantum logic: (1) the lattic logic of von Neumann, (2) a Clifford algebraic logic, and (3) a Grassmann algebraic logic.
openaire +3 more sources
Quantum Logics and Instruments
International Journal of Theoretical Physics, 1998zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
International Journal of Theoretical Physics, 1977
A symmetry in the quantum logic (L, M) is defined as a pair of bijectionsα :L →L andv :M →M such that the probabilities are preserved. Some properties of the symmetries are investigated.
openaire +2 more sources
A symmetry in the quantum logic (L, M) is defined as a pair of bijectionsα :L →L andv :M →M such that the probabilities are preserved. Some properties of the symmetries are investigated.
openaire +2 more sources
International Journal of Theoretical Physics, 2000
The paper is a remarkable survey of recent results on concrete (set-representable) quantum logics, which seem to be significant within quantum axiomatics and also other areas of mathematics. Especially various results and open problems concerning compact-like concrete logics (with a natural generalization of compatibility) and measure theory on ...
openaire +3 more sources
The paper is a remarkable survey of recent results on concrete (set-representable) quantum logics, which seem to be significant within quantum axiomatics and also other areas of mathematics. Especially various results and open problems concerning compact-like concrete logics (with a natural generalization of compatibility) and measure theory on ...
openaire +3 more sources
Axiomatization of quantum logics
International Journal of Theoretical Physics, 1996The author introduces a system of probabilistically motivated axioms which make a couple \((L,{\mathcal S})\), where \(L\) is a \(\sigma\)-OMP and \({\mathcal S}\) is a convex full system of states, an orthomodular space. The aim of the paper is to obtain a characterization of the basic logic, the system of all closed subspaces of a real, complex, or ...
openaire +2 more sources