Effect algebras and unsharp quantum logics.

DOI10.1007/BF02283036zbMath1213.06004MaRDI QIDQ541810

David J. Foulis, Mary Katherine Bennett

Publication date: 8 June 2011

Published in: Foundations of Physics (Search for Journal in Brave)

Mathematics Subject Classification ID

Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)

Related Items (only showing first 100 items - show all)

On block structures in quantum computation ⋮ A structure for quantum measurements ⋮ States on quantum and algebraic structures and their integral representation ⋮ Effect algebras with state operator ⋮ MV-pairs and state operators ⋮ Pseudo \(d\)-algebras ⋮ Pseudo-BL algebras and pseudo-effect algebras ⋮ Effect algebraic extensions of generalized effect algebras and two-valued states ⋮ Atoms and Dobrakov submeasures in effect algebras ⋮ Sharp and unsharp observables on \(\sigma \)-MV algebras -- a comparison with the Hilbert space approach ⋮ Concurrent Kleene algebra with tests and branching automata ⋮ Unitizations of generalized pseudo effect algebras and their ideals ⋮ Multi-posets in algebraic logic, group theory, and non-commutative topology ⋮ AF inverse monoids and the structure of countable MV-algebras ⋮ Interval topology of lattice effect algebras ⋮ Classical properties of measure theory on effect algebras ⋮ On a new construction of pseudo effect algebras ⋮ The universal group of a Heyting effect algebra ⋮ Compression bases in unital groups ⋮ Open problems for sequential effect algebras ⋮ Central elements of atomic effect algebras ⋮ Positive operators à la Aumann-Shapley on spaces of functions on D-lattices ⋮ Removing the torsion from a unital group. ⋮ Spaces of abstract events ⋮ A remark on the unconditionally convergent series ⋮ On realization of partially ordered abelian groups ⋮ Representations of MV-algebras by Hilbert-space effects ⋮ Extensions of ordering sets of states from effect algebras onto their MacNeille completions ⋮ Type-decomposition of a synaptic algebra ⋮ Pseudo-D-lattices and Lyapunov measures ⋮ A representation theorem for MV-algebras ⋮ The lexicographic product of po-groups and \(n\)-perfect pseudo effect algebras ⋮ Does science influence the logic we ought to use: A reflection on the quantum logic controversy ⋮ On bilinear forms from the point of view of generalized effect algebras ⋮ Non-commutative logical algebras and algebraic quantales ⋮ Common generalizations of orthocomplete and lattice effect algebras ⋮ Which o-commutative basic algebras are effect algebras ⋮ Sequential product of quantum effects: an overview ⋮ Order topology and Frink ideal topology of effect algebras ⋮ Compactly generated De Morgan lattices, basic algebras and effect algebras ⋮ Pseudo-BCK algebras as partial algebras ⋮ Representation of states on effect-tribes and effect algebras by integrals ⋮ Torsion elements in effect algebras ⋮ A direct product decomposition of QMV algebras ⋮ Interval topology on effect algebras ⋮ A theory of computation based on unsharp quantum logic: finite state automata and pushdown automata ⋮ States on quantum structures versus integrals ⋮ Note on generalizations of orthocomplete and lattice effect algebras ⋮ Probabilistic systems coalgebraically: a survey ⋮ Some model-theoretic correspondences between dimension groups and AF algebras ⋮ Effect algebras of positive linear operators densely defined on Hilbert spaces ⋮ The exocenter of a generalized effect algebra ⋮ Generalized effect algebras of bounded positive operators defined on Hilbert spaces ⋮ States on pseudo effect algebras and integrals ⋮ On double basic algebras and pseudo-effect algebras ⋮ A note of filters in effect algebras. ⋮ Not each sequential effect algebra is sharply dominating ⋮ \(n\)-perfect and \(\mathbb Q\)-perfect pseudo effect algebras ⋮ Strengthening effect algebras in a logical perspective: Heyting-Wajsberg algebras ⋮ How to produce S-tense operators on lattice effect algebras ⋮ Quantum measures on finite effect algebras with the Riesz decomposition properties ⋮ Some remarks on kite pseudo effect algebras ⋮ Generalized effect algebras of positive self-adjoint linear operators on Hilbert spaces ⋮ Quotients of dimension effect algebras ⋮ Remarks on entropy of partition on the sequential effect algebras ⋮ Representable effect algebras and observables ⋮ Openness of measures and closedness of their range ⋮ Computing power of Turing machines in the framework of unsharp quantum logic ⋮ Pseudo MV-algebras and lexicographic product ⋮ Dedekind complete posets from sheaves on von Neumann algebras ⋮ A new view of effects in a Hilbert space ⋮ A representation of lattice effect algebras by means of right near semirings with involution ⋮ On monoids in the category of sets and relations ⋮ On orders of observables on effect algebras ⋮ Properties of effect algebras based on sets of upper bounds ⋮ Olson order of quantum observables ⋮ Open problems from the 12th international conference on fuzzy set theory and its applications ⋮ Centrally orthocomplete effect algebras ⋮ On the structure of pseudo BL-algebras and pseudo hoops in quantum logics ⋮ Type-decomposition of an effect algebra ⋮ Effect algebras are not adequate models for quantum mechanics ⋮ The continuities of nonadditive functions on effect algebras ⋮ Generalized effect algebras of positive operators densely defined on Hilbert spaces ⋮ Weak commutative pseudoeffect algebras ⋮ \(\mathcal{PT}\)-symmetry in (generalized) effect algebras ⋮ Some problems for sequential effect algebras ⋮ Probabilities, distribution monads, and convex categories ⋮ Loomis-Sikorski theorem and Stone duality for effect algebras with internal state ⋮ The variety of modular basic algebras generated by MV-chains and horizontal sums of three-element chain basic algebras ⋮ Two properties of sequence of vector measures on effect algebras ⋮ Quantum information processing, operational quantum logic, convexity, and the foundations of physics ⋮ Von Neumann algebras, \(L\)-algebras, Baer*-monoids, and Garside groups ⋮ Quantum observables and effect algebras ⋮ A projection and an effect in a synaptic algebra ⋮ Considerable sets of linear operators in Hilbert spaces as operator generalized effect algebras ⋮ The lattice and simplex structure of states on pseudo effect algebras ⋮ Lifting, \(n\)-dimensional spectral resolutions, and \(n\)-dimensional observables ⋮ Hahn decomposition in \(d_0\)-algebras ⋮ Material implications in lattice effect algebras ⋮ Kite \(n\)-perfect pseudo effect algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Connections among quantum logics. I: Quantum propositional logics
• Tensor products and probability weights
• Filters and supports in orthoalgebras
• Tensor products of orthoalgebras
• Brouwer-Zadeh posets and three-valued Łukasiewicz posets
• The Mackey-Gleason Problem
• An Orthomodular Lattice Admitting No Group-Valued Measure
• The Quantum Theory of Measurement

This page was built for publication: Effect algebras and unsharp quantum logics.