Filters and supports in orthoalgebras

DOI10.1007/BF00678545zbMath0764.03026MaRDI QIDQ1200425

Gottfried T. Rüttimann, Richard J. Greechie, 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, Atomistic and orthoatomistic effect algebras, 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, A link between quantum logic and categorical quantum mechanics, 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, 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, A combinatorial approach to nonlocality and contextuality, Sharp and meager elements in orthocomplete homogeneous effect algebras, 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, 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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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