Effect algebras and unsharp quantum logics.

From MaRDI portal

Publication:541810

Jump to:navigation, search

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

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 ⋮ Continuous lattice effect algebras admitting order-continuous states ⋮ Generalized EMV-effect algebras ⋮ Measures and submeasures on \(\mathrm{d}_{0}\)-algebras ⋮ An Aumann-Shapley type operator in pseudo-D-lattices ⋮ Boolean algebras R-generated by MV-effect algebras ⋮ Difference posets and the histories approach to quantum theories ⋮ Sums and products of interval algebras ⋮ Lattice effect algebras with (o)-continuous faithful valuations ⋮ Effect algebras, presheaves, non-locality and contextuality ⋮ Banach synaptic algebras ⋮ Compact linearly ordered effect algebras ⋮ Unsharp quantum logics ⋮ Tensor product of difference posets and effect algebras ⋮ Transition to effect algebras ⋮ Quasilinear QMV algebras ⋮ Morphisms on semiorthoposets ⋮ Representations of D-posets ⋮ Pták sum of a Boolean algebra with an effect algebra and its completeness ⋮ Partial Abelian semigroups ⋮ Interval and scale effect algebras ⋮ Finite modular effect algebras ⋮ Effect algebras and tensor products of \(S\)-sets ⋮ Chain tensor products and interval effect algebras ⋮ The center of an effect algebra ⋮ Test groups and effect algebras ⋮ Semi-orthoposets ⋮ Quantum MV algebras ⋮ Generalized ideals and supports in pseudo effect algebras ⋮ Residuated lattices and lattice effect algebras ⋮ Consistent histories and operational quantum theory ⋮ Tense operators in fuzzy logic ⋮ Pseudo-D-lattices and separating points of measures ⋮ Distributivity and associativity in effect algebras ⋮ Galois connections and tense operators on q-effect algebras ⋮ Conditional probability on the Kôpka's \(D\)-posets ⋮ Effect test spaces ⋮ A unified framework for the algebra of unsharp quantum mechanics ⋮ Coreflections in algebraic quantum logic ⋮ Unified \((r, s)\)-entropies of partitions on sequential effect algebras ⋮ From probability monads to commutative effectuses ⋮ Effect algebras are the Eilenberg-Moore category for the Kalmbach monad. ⋮ Generic weakest precondition semantics from monads enriched with order ⋮ Dijkstra and Hoare monads in monadic computation ⋮ Quotients and weakly algebraic sets in pseudoeffect algebras ⋮ Lexicographic pseudo MV-algebras ⋮ Lexicographic product vs \(\mathbb Q\)-perfect and \(\mathbb H\)-perfect pseudo effect algebras ⋮ Intervals in generalized effect algebras ⋮ Quantum effect logic in cognition ⋮ Hyper effect algebras ⋮ Observables on quantum structures ⋮ Quantum structures versus partially ordered groups ⋮ Regular Gleason measures and generalized effect algebras ⋮ Dynamic order algebras as an axiomatization of modal and tense logics ⋮ A Hilbert space operator representation of abelian po-groups of bilinear forms ⋮ Generalized random events ⋮ The join of the variety of MV-algebras and the variety of orthomodular lattices ⋮ Weak QMV algebras and some ring-like structures ⋮ Lexicographic pseudo effect algebras ⋮ Finite homogeneous and lattice ordered effect algebras ⋮ Prelattice-generalized pseudo-effect algebras ⋮ Weakly tight functions, their Jordan type decomposition and total variation in effect algebras ⋮ Conditional entropy and the Rokhlin metric on an orthomodular lattice with bayessian state ⋮ A right-invariant lattice-order on groups of paraunitary matrices ⋮ On two versions of the Loomis-Sikorski theorem for algebraic structures ⋮ The variety of lattice effect algebras generated by MV-algebras and the horizontal sum of two 3-element chains ⋮ Spectral order on a synaptic algebra ⋮ Cartesian product of compressible effect algebras ⋮ Ideals in MV-pairs ⋮ Partial residuated structures and quantum structures ⋮ States on sharply dominating effect algebras ⋮ States and synaptic algebras ⋮ Transition operators assigned to physical systems ⋮ A Loomis-Sikorski theorem and functional calculus for a generalized Hermitian algebra ⋮ Extensions of witness mappings ⋮ Topologies on quantum effects ⋮ A categorical approach to probability theory ⋮ Indeterministic objects in the category of effect algebras and the passage to the semiclassical limit ⋮ Pseudo difference posets and pseudo Boolean D-posets ⋮ Compressible effect algebras ⋮ 0-homogeneous effect algebras ⋮ Congruences and ideals in pseudo effect algebras as total algebras ⋮ A question about basic algebras ⋮ Effect algebras as presheaves on finite Boolean algebras ⋮ Meager projections in orthocomplete homogeneous effect algebras ⋮ On special elements and pseudocomplementation in lattices with antitone involutions ⋮ Frink ideal topology of lattice effect algebras ⋮ A note on effect algebras and dimension theory of AF C\(^*\)-algebras ⋮ Sequential products of quantum subtests ⋮ On the Aumann-Shapley value ⋮ Note on ideals of effect algebras ⋮ Isomorphism theorems on generalized effect algebras based on atoms ⋮ Pseudocomplemented lattice effect algebras and existence of states ⋮ Commutative basic algebras and non-associative fuzzy logics ⋮ Sharp and unsharp quantum effects ⋮ A non-commutative version of the first Alexandroff decomposition theorem in ordered topological groups ⋮ Every effect algebra can be made into a total algebra ⋮ Effect algebras with the maximality property ⋮ Fuzzy set representations of some quantum structures ⋮ Connectives and fuzziness for classical effects ⋮ Morphisms, tensor products and \(\sigma\)-effect algebras ⋮ Quotients of interval effect algebras ⋮ Examples, problems, and results in effect algebras ⋮ Gleason's theorem and Cauchy's functional equation ⋮ Polar decomposition in e-rings ⋮ \(L\)-algebras and three main non-classical logics ⋮ Dimension theory for generalized effect algebras. ⋮ Musings about the triple representation theorem for effect algebras ⋮ Finitely generated varieties of distributive effect algebras ⋮ Structure groups of \(L\)-algebras and Hurwitz action ⋮ Results on topological lattice effect algebras ⋮ Riesz ideals in generalized pseudo effect algebras and in their unitizations ⋮ Conditional probability on full Łukasiewicz tribes ⋮ Operation continuity of effect algebras ⋮ On residuation in paraorthomodular lattices ⋮ The logic induced by effect algebras ⋮ Basic algebras and L-algebras ⋮ Remarks on the sequential effect algebras ⋮ MV-pairs and states ⋮ Smearing of observables and spectral measures on quantum structures ⋮ Topological properties of operator generalized effect algebras ⋮ Observables on \(\sigma\)-frame effect algebras as upper semicontinuous functions ⋮ Convexity-preserving properties of partial binary operations with respect to filter convex structures on effect algebras ⋮ Homogeneous effect algebras and observables vs spectral resolutions ⋮ A note on unitizations of generalized effect algebras ⋮ Riesz decomposition properties and the lexicographic product of po-groups ⋮ Compatibility of observables on effect algebras ⋮ Duality for convex monoids ⋮ When the lexicographic product of two po-groups has the Riesz decomposition property ⋮ The structure group of a non-degenerate effect algebra ⋮ An algebraic theory for data linkage ⋮ A non-associative generalization of effect algebras ⋮ Triple representation theorem for orthocomplete homogeneous effect algebras ⋮ Logical connectives on lattice effect algebras ⋮ Hull determination and type decomposition for a generalized effect algebra ⋮ \(L\)-effect algebras ⋮ The orthogonality of sequential products in sequential effect algebras ⋮ Two-dimensional observables and spectral resolutions ⋮ Planck's constant in the light of quantum logic ⋮ Sharp and fuzzy observables on effect algebras ⋮ Tensor product of distributive sequential effect algebras and product effect algebras ⋮ Atomic sequential effect algebras ⋮ Spectral resolutions and quantum observables ⋮ Pseudo-atoms, atoms and a Jordan type decomposition in effect algebras ⋮ Hilbert space effect-representations of effect algebras ⋮ On realization of generalized effect algebras ⋮ Topologies on quantum states ⋮ Coexistency on Hilbert space effect algebras and a characterisation of its symmetry transformations ⋮ Ideals and congruences of basic algebras ⋮ Congruences generated by ideals of the compatibility center of lattice effect algebras ⋮ The center of a \(\mathrm d_0\)-algebra ⋮ The average value inequality in sequential effect algebras ⋮ Skew residuated lattices ⋮ The center of a generalized effect algebra. ⋮ Convex and linear effect algebras ⋮ Modular \(\mathrm{d}_0 \)-algebras ⋮ Effects, observables, states, and symmetries in physics ⋮ Complete commutative basic algebras ⋮ On effect algebras of fuzzy sets ⋮ A complete axiomatisation for the logic of lattice effect algebras ⋮ Weakly Jauch-Piron states in effect algebras ⋮ Effect algebras with compressions ⋮ Synaptic algebras as models for quantum mechanics ⋮ Interpolations in posets and effect algebras ⋮ Congruences and ideals in pseudoeffect algebras ⋮ Effect algebras with the subsequential interpolation property ⋮ The spectrum of the sum of observables on \(\sigma\)-complete MV-effect algebras ⋮ Congruences and ideals in generalized pseudoeffect algebras revisited ⋮ Direct limits of generalized pseudo-effect algebras with the Riesz decomposition properties ⋮ A semiring-like representation of lattice pseudoeffect algebras ⋮ Observables on lexicographic effect algebras ⋮ Kite pseudo effect algebras ⋮ Sharp and meager elements in orthocomplete homogeneous effect algebras ⋮ Blocks in pairwise summable generalized effect algebras ⋮ Top element problem and MacNeille completions of generalized effect algebras ⋮ Kullback-Leibler divergence and mutual information of experiments in the fuzzy case ⋮ Residuation in lattice effect algebras ⋮ Pseudo effect algebras are algebras over bounded posets ⋮ Fuzzy implications in lattice effect algebras ⋮ Observables on synaptic algebras ⋮ Perfect effect algebras and spectral resolutions of observables ⋮ Generalized pseudo-EMV-effect algebras ⋮ Geometric and algebraic aspects of spectrality in order unit spaces: a comparison ⋮ Outer and inner approximations in quantum spaces ⋮ Properties of implication in effect algebras ⋮ Hyper-operations in effect algebras ⋮ Hyper-commutators in effect algebras ⋮ The sum of observables on a \(\sigma\)-distributive lattice effect algebra ⋮ States on EMV-algebras ⋮ Operational restrictions in general probabilistic theories ⋮ Lattice-ordered effect algebras and L-algebras ⋮ Research on partial ordered sets that can be constructed as effect algebras ⋮ Sum of \(n\)-dimensional observables on MV-effect algebras ⋮ Kalmbach measurability In \(\mathrm{d}_0\)-algebras ⋮ Approximating families for lattice outer measures on unsharp quantum logics ⋮ Variations on effect algebras. ⋮ Variation on a Poincaré theorem ⋮ Fractal properties of MV-algebra pastings. ⋮ Characterization of homogeneity in orthocomplete atomic effect algebras ⋮ Unitizing a generalized pseudo effect algebra. ⋮ Weakly algebraic ideal topology of effect algebras ⋮ Compatibility support mappings in effect algebras ⋮ Uniqueness of algebraic unitizations of generalized pseudo effect algebras ⋮ The Hahn-Schur Theorem on effect algebras ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Effect Algebras, Presheaves, Non-locality and Contextuality ⋮ Sharp and principal elements in effect algebras ⋮ Super quantum measures on effect algebras with the Riesz decomposition properties ⋮ Lexicographic effect algebras ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ MV-Test Spaces Versus MV-Algebras ⋮ Remarks on effect-tribes ⋮ Undecidability of Propositional Separation Logic and Its Neighbours ⋮ An ideal topology type convergent theorem on scale effect algebras ⋮ Unnamed Item ⋮ STATES, UNIFORMITIES AND METRICS ON LATTICE EFFECT ALGEBRAS ⋮ Tensor product of dimension effect algebras ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Three characterisations of the sequential product ⋮ How Do $$\ell $$-Groups and Po-Groups Appear in Algebraic and Quantum Structures? ⋮ Cohomology of Effect Algebras ⋮ (Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras ⋮ Preorders, Partial Semigroups, and Quantales ⋮ A Shortcut from Categorical Quantum Theory to Convex Operational Theories ⋮ Contexts in Convex and Sequential Effect Algebras ⋮ Spectral order unit spaces and JB-algebras ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Topologies and uniformities on d₀-algebras ⋮ Vector lattices in synaptic algebras ⋮ Effect algebras, Girard quantales and complementation in separation logic ⋮ Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras ⋮ Unnamed Item ⋮ Effect algebras and statistical physical theories ⋮ MEASURES ON EFFECT ALGEBRAS ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Module Structure on Effect Algebras ⋮ TYPE DECOMPOSITION OF A PSEUDOEFFECT ALGEBRA ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Hull mappings and dimension effect algebras ⋮ Blocks of homogeneous effect algebras ⋮ Observables, states, and symmetries in the context of CB-effect algebras ⋮ Unnamed Item ⋮ Convergence theorems for topological group valued measures on effect algebras ⋮ No-cloning theorem on quantum logics ⋮ Loomis-Sikorski representation of monotone \(\sigma\)-complete effect algebras ⋮ Embeddings of generalized effect algebras into complete effect algebras ⋮ Extensions of partially ordered partial abelian monoids ⋮ Ideals and congruences in effect algebras and qmv-algebras ⋮ Uniqueness and order in sequential effect algebras ⋮ Quantum physics and classical physics -- in the light of quantum logic ⋮ Lattice uniformities on effect algebras ⋮ Measures defined on quantum logics of sets ⋮ An extension theorem for modular measures on effect algebras ⋮ Continuity of the sequential product of sequential quantum effect algebras ⋮ Extension of domains of states ⋮ A histories approach to quantum mechanics ⋮ Coexistent observables and effects in a convexity approach ⋮ On the Continuity of Probability on IF Sets ⋮ Unnamed Item ⋮ Coexistence in interval effect algebras ⋮ Simplex-valued probability ⋮ Functions of bounded variation on effect algebras ⋮ Central elements and Cantor-Bernstein's theorem for pseudo-effect algebras ⋮ A Dieudonné theorem for lattice group-valued measures ⋮ Quotient structures in lattice effect algebras ⋮ Partial quantum logics revisited ⋮ Some generalizations of fuzzy structures in quantum computational logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On the consistent effect histories approach to quantum mechanics ⋮ Infinitary lattice and Riesz properties of pseudoeffect algebras and po-groups ⋮ Automata theory based on unsharp quantum logic ⋮ Tensor products of divisible effect algebras ⋮ Unnamed Item ⋮ On fuzzy hidden variables ⋮ Basic decomposition of elements and Jauch-Piron effect algebras ⋮ Weakly ordered partial commutative group of self-adjoint linear operators densely defined on Hilbert space ⋮ The nth root of sequential effect algebras ⋮ Commutator-finite D-lattices ⋮ Statistical maps: A categorical approach ⋮ Partial algebras for Łukasiewicz logics and its extensions ⋮ Two variables operation continuity of effect algebras ⋮ Perfect effect algebras are categorically equivalent with Abelian interpolation po-groups ⋮ New families of finite coherent orthoalgebras without bivaluations ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Separating points of measures on effect algebras ⋮ Interval convexity of scale effect algebras ⋮ Prime \(L\)-algebras and right-angled Artin groups ⋮ Spectrality in convex sequential effect algebras ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The geometry of discrete \(L\)-algebras ⋮ Representation of perfect and \(n\)-perfect pseudo effect algebras ⋮ Exponential entropy on sequential effect algebras ⋮ General probabilistic theories: an introduction ⋮ \(n\)-dimensional observables on \(k\)-perfect MV-algebras and \(k\)-perfect effect algebras. I: Characteristic points ⋮ Hypernormalisation in an abstract setting ⋮ Topological modules geometry ⋮ Topological ordered rings and measures ⋮ Matrix representation of finite effect algebras ⋮ Notes on sharp and principal elements in effect algebras ⋮ Associativity and distributivity-like properties in generalized effect algebras ⋮ Subreducts and subvarieties of PBZ *-lattices* ⋮ Joins and meets in effect algebras ⋮ An algebraic glimpse at bunched implications and separation logic ⋮ An effect-theoretic account of Lebesgue integration ⋮ Unnamed Item ⋮ On the nature of continuous physical quantities in classical and quantum mechanics ⋮ Remarks on the order for quantum observables ⋮ The block structure of complete lattice ordered effect algebras ⋮ Loomis-Sikorski theorem for monotone σ-complete effect algebras ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Atomistic and orthoatomistic effect algebras ⋮ Every state on interval effect algebra is integral ⋮ Atomic effect algebras with compression bases ⋮ A computer scientist’s reconstruction of quantum theory* ⋮ L-fuzzy ideal degrees in effect algebras ⋮ Comment on ‘The operational foundations of PT-symmetric and quasi-Hermitian quantum theory’ ⋮ L-algebras and topology

Cites Work

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:541810&oldid=12429152"