Filters and supports in orthoalgebras

DOI10.1007/BF00678545zbMath0764.03026MaRDI QIDQ1200425

Richard J. Greechie, Gottfried T. Rüttimann, David J. Foulis

Publication date: 16 January 1993

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

zbMATH Keywords

orthomodular lattice; orthoalgebra; compactness theorem; Aristotelian modalities; local filters; proposition system

Mathematics Subject Classification ID

03G25: Other algebras related to logic

06C15: Complemented lattices, orthocomplemented lattices and posets

03G12: Quantum logic

Related Items

Quantum temporal logic and decoherence functionals in the histories approach to generalized quantum theory, On the Extension of D-Poset Valued Measures, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Event structures in nonstandard quantum mechanics, The classification of decoherence functionals: An analog of Gleason’s theorem, Continuous histories and the history group in generalized quantum theory, Atomic effect algebras with compression bases, Atomistic and orthoatomistic effect algebras, Unitizations of generalized pseudo effect algebras and their ideals, The intersection operation in light of joint observables and Bell inequalities in operational probability theory, A note of filters in effect algebras., Centrally orthocomplete effect algebras, Type-decomposition of an effect algebra, Effect algebras and unsharp quantum logics., Partial and unsharp quantum logics., Common generalizations of orthocomplete and lattice effect algebras, States as morphisms, Quotients of dimension effect algebras, Quantum observables and effect algebras, A link between quantum logic and categorical quantum mechanics, Material implications in lattice effect algebras, Symmetry and topology in quantum logic, Generalized ideals and supports in pseudo effect algebras, Effect algebras with the maximality property, On quantum vs. classical probability, Tensor products of orthoalgebras, \(\sigma\)-additivity in manuals and orthoalgebras, Empirical logics, Counterexamples in difference posets and orthoalgebras, Difference posets, effects, and quantum measurements, Logicoalgebraic structures. II: Supports in test spaces, Decompositions of measures on orthoalgebras and difference posets, Test spaces, Dacey spaces, and completeness of inner product spaces, Orthosummable orthoalgebras, Extensions of real-valued difference posets, Sums and products of interval algebras, Topos theory and consistent histories: The internal logic of the set of all consistent sets, A unified framework for the algebra of unsharp quantum mechanics, A non-commutative version of the first Alexandroff decomposition theorem in ordered topological groups, Indeterministic objects in the category of effect algebras and the passage to the semiclassical limit, Pseudo difference posets and pseudo Boolean D-posets, Effect algebras as presheaves on finite Boolean algebras, Meager projections in orthocomplete homogeneous effect algebras, Difference posets and the histories approach to quantum theories, Brooks-Jewett and Nikodym convergence theorems for orthoalgebras that have the weak subsequential interpolation property, The logics of orthoalgebras, Noncommutative version of Nikodym boundedness theorem for uniform space- valued functions, D-lattices, Tensor product of difference posets and effect algebras, Transition to effect algebras, States on orthoalgebras, Strong law of large numbers in D-posets, Compatibility in D-posets, Partial Abelian semigroups, The center of an effect algebra, Test groups and effect algebras, Semi-orthoposets, Quantum MV algebras, Triple representation theorem for orthocomplete homogeneous effect algebras, Top element problem and MacNeille completions of generalized effect algebras, The structure group of a non-degenerate effect algebra, Quantum observable generalized orthoalgebras, Stateless quantum structures and extremal graph theory, A combinatorial approach to nonlocality and contextuality, Sharp and meager elements in orthocomplete homogeneous effect algebras, Boolean subalgebras of orthoalgebras, Unitizing a generalized pseudo effect algebra., Quotients of interval effect algebras, Conjunctions, disjunctions, and Bell-type inequalities in orthoalgebras, Product of partition logics, orthoalgebras, and automata, Musings about the triple representation theorem for effect algebras, Compatibility of observables on effect algebras, Covariance and quantum logic, The center of a generalized effect algebra., An intrinsic topology for orthomodular lattices, Topological test spaces, Orthomodularity of decompositions in a categorical setting, Unnamed Item, Unnamed Item, Convergence theorems for topological group valued measures on effect algebras, New families of finite coherent orthoalgebras without bivaluations, Augmented temporal logic formalism for histories-based generalized quantum mechanics

Cites Work

• The Brooks-Jewett theorem on an orthomodular lattice
• Banach spaces of weights on quasimanuals
• Connections among quantum logics. I: Quantum propositional logics
• Connections among quantum logics. II: Quantum event logics
• Tensor products and probability weights
• Realistic quantum probability
• Quantifiers and orthomodular lattices
• The Approximate Jordan-Hahn Decomposition
• Non-commutative spectral theory for affine function spaces on convex sets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item