On the non existence of two valued lattice homomorphisms of quantum logic
全文
関連したドキュメント
In [6], some necessary conditions of multihomomorphisms from any group into groups of real numbers under the usual addition and multiplication were given.. Communicated by Lee
Specifically, we consider the glueing of (i) symmetric monoidal closed cat- egories (models of Multiplicative Intuitionistic Linear Logic), (ii) symmetric monoidal adjunctions
3.1, together with the result in (Barber and Plotkin 1997) (completeness via the term model construction), is that the term model of DCLL forms a model of DILL, i.e., a
Light linear logic ( LLL , Girard 1998): subsystem of linear logic corresponding to polynomial time complexity.. Proofs of LLL precisely captures the polynomial time functions via
ZHIZHIASHVILI, Trigonometric Fourier Series and their Conjugates, Kluwer Academic Publishers, Dobrecht, Boston, London, 1996.
In their fundamental papers [6] and [7], Kustermans and Vaes develop the theory of locally compact quantum groups in the C ∗ -algebraic framework and in [9], they show that both
Theorem 0.4 implies the existence of strong connections [H-PM96] for free actions of compact quantum groups on unital C ∗ -algebras (connections on compact quantum principal
Equivalent conditions are obtained for weak convergence of iterates of positive contrac- tions in the L 1 -spaces for general von Neumann algebra and general JBW algebras, as well