Results 1 
4 of
4
Constructive Mathematics and Quantum Physics
, 1999
"... This paper is dedicated to the memory of Prof. Gottfried T. Ru ttimann ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
(Show Context)
This paper is dedicated to the memory of Prof. Gottfried T. Ru ttimann
QUANTUM LOGIC AND QUANTUM COMPUTATION
, 812
"... This quantum logic of qubits (also called quantum computational logic [8, 18]) is a formalism of finite tensor products of twodimensional Hilbert spaces and will be ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
This quantum logic of qubits (also called quantum computational logic [8, 18]) is a formalism of finite tensor products of twodimensional Hilbert spaces and will be
PROBABILISTIC FORCING IN QUANTUM LOGICS
"... Summary. It is shown that orthomodular lattice can be axiomatized as an ortholattice with a unique operation of identity (bi–implication) instead of the operation of implication and a corresponding algebraic unified quantum logic is formulated. A statistical YES–NO physical interpretation of the qua ..."
Abstract
 Add to MetaCart
Summary. It is shown that orthomodular lattice can be axiomatized as an ortholattice with a unique operation of identity (bi–implication) instead of the operation of implication and a corresponding algebraic unified quantum logic is formulated. A statistical YES–NO physical interpretation of the quantum logical propositions is then provided to establish a support for a novel YES–NO representation of quantum logic which is also given together with a conjecture about possible completion of quantum logic by means of probabilistic forcing. 1.