scientific article; zbMATH DE number 3807678
From MaRDI portal
Publication:4750696
zbMath0512.06011MaRDI QIDQ4750696
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hilbert spacesorthomodular latticesoperator algebrasequational classescongruence relationsproblemscomplemented modular latticescontinuous geometriescomplete modular ortholatticesdimension theory of operator algebras
Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Classifications of (C^*)-algebras (46L35) Complemented modular lattices, continuous geometries (06C20) Research exposition (monographs, survey articles) pertaining to ordered structures (06-02)
Related Items
Noncontextual coloring of orthogonality hypergraphs ⋮ Uniqueness of algebraic unitizations of generalized pseudo effect algebras ⋮ Orthosystems of submodules of a module ⋮ Concurrency-Preserving Minimal Process Representation ⋮ Unnamed Item ⋮ Super quantum measures on effect algebras with the Riesz decomposition properties ⋮ Transfer principle in quantum set theory ⋮ Unnamed Item ⋮ Dynamics of algebras in quantum unstable systems ⋮ Unnamed Item ⋮ QUANTUM LOGIC ASSOCIATED TO FINITE DIMENSIONAL INTERVALS OF MODULAR ORTHOLATTICES ⋮ Non-unitary Evolution of Quantum Logics ⋮ Wigner's theorem for an infinite set ⋮ On the Connection Between Quantum Probability and Geometry ⋮ The deduction theorem for quantum logic—some negative results ⋮ Unnamed Item ⋮ Cohomology of Effect Algebras ⋮ Operational Meanings of Orders of Observables Defined through Quantum Set Theories with Different Conditionals ⋮ Prime \(L\)-algebras and right-angled Artin groups ⋮ The geometry of discrete \(L\)-algebras ⋮ Quantum cylindric set algebras ⋮ Maximum likelihood estimator of quantum probabilities ⋮ On blocks in the products and ultraproducts of orthomodular lattices ⋮ Topological duality for orthomodular lattices ⋮ Finitary prelinear and linear orthosets ⋮ A symmetric-difference-closed orthomodular lattice that is stateless ⋮ Almost orthogonality and Hausdorff interval topologies of atomic lattice effect algebras ⋮ Sequent Calculi for Orthologic with Strict Implication ⋮ Lattice-valued general orthomodular automata ⋮ GENERAL PROPERTIES OF BAYESIAN LEARNING AS STATISTICAL INFERENCE DETERMINED BY CONDITIONAL EXPECTATIONS ⋮ ORTHOMODULAR-VALUED MODELS FOR QUANTUM SET THEORY ⋮ The paraunitary group of a von Neumann algebra ⋮ Positive modal logic beyond distributivity ⋮ Quantum states: an analysis via the orthogonality relation ⋮ Quantum key distribution without the wavefunction ⋮ Weakly orthomodular and dually weakly orthomodular posets ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Propositional counter-factual definiteness and the EPR paradox ⋮ Characterizations of connected orthogonality graphs of projections of Rickart ∗-rings ⋮ Unnamed Item ⋮ Weak Second‐Order Arithmetic and Finite Automata ⋮ From Quantum-Mechanical Lattice of Projections to Smooth Structure of $$\mathbb {R}^4$$R4 ⋮ Central lifting property for orthomodular lattices ⋮ Residuated mappings ⋮ The Square of Opposition in Orthomodular Logic ⋮ Yosida-Hewitt and Lebesgue decompositions of states on orthomodular posets ⋮ Cantor–Bernstein Property for MV-Algebras ⋮ Quantum logic, Hilbert space, revision theory ⋮ Möbius operators and non-additive quantum probabilities in the Birkhoff-von Neumann lattice ⋮ Jauch–Piron states on quantum logics ⋮ Unnamed Item ⋮ Commutative rings whose ideal lattices are complemented ⋮ Synaptic algebras ⋮ Intervals of effect algebras and pseudo-effect algebras ⋮ On identities in orthocomplemented difference lattices ⋮ Unnamed Item ⋮ A quantum logical and geometrical approach to the study of improper mixtures ⋮ Ortho-sets and Gelfand spectra ⋮ Quantum monadic algebras ⋮ L-algebras and topology ⋮ Pasting of lattice-ordered effect algebras ⋮ Birkhoff's order-convergence in partially ordered sets. ⋮ Atoms and Dobrakov submeasures in effect algebras ⋮ Unitizations of generalized pseudo effect algebras and their ideals ⋮ Spectral resolution in a Rickart comgroup ⋮ An introduction to lattice based probability theories ⋮ A discussion on the origin of quantum probabilities ⋮ Automorphism groups of orthomodular lattices obtained from quadratic spaces ⋮ Recent progress on pre-Hilbert-space logics and their measure spaces ⋮ Decidability in orthomodular lattices ⋮ Orthomodular semilattices ⋮ An introduction to vague complemented ordered sets ⋮ Daggers, kernels, Baer *-semigroups, and orthomodularity ⋮ Decidability of the equational theory of the continuous geometry \(\mathrm{CG}(\mathbb F)\) ⋮ On the lattice structure of probability spaces in quantum mechanics ⋮ Type-decomposition of a synaptic algebra ⋮ Dagger categories of tame relations ⋮ Bohrification of operator algebras and quantum logic ⋮ The dynamic turn in quantum logic ⋮ A categorial semantic representation of quantum event structures ⋮ Hereditary \(C^\ast\)-subalgebra lattices ⋮ Characterization of spaces of filtering states ⋮ Spectral automorphisms in quantum logics ⋮ Marginality and triangle inequality ⋮ Automorphism groups of small \((3,3)\)-homogeneous logics ⋮ Compactly generated De Morgan lattices, basic algebras and effect algebras ⋮ On definition of skew frames ⋮ Characterizations of categories of commutative \(C^*\)-subalgebras ⋮ Active lattices determine \(\mathrm{AW}^\ast\)-algebras ⋮ Relational style laws and constructs of linear algebra ⋮ Hilbert lattice equations ⋮ The inheritance of BDE-property in sharply dominating lattice effect algebras and \((o)\)-continuous states ⋮ The join of the variety of MV-algebras and the variety of orthomodular lattices ⋮ Characterization of Boolean algebras in terms of certain states of Jauch-Piron type ⋮ The logic of bundles ⋮ Finite automata theory with membership values in lattices ⋮ Characterizing common cause closedness of quantum probability theories ⋮ A theory of computation based on unsharp quantum logic: finite state automata and pushdown automata ⋮ Equational characterization for two-valued states in orthomodular quantum systems ⋮ The order topology on the projection lattice of a Hilbert space ⋮ Characterizations of spectral automorphisms and a Stone-type theorem in orthomodular lattices ⋮ Quantum axiomatics: topological and classical properties of state property systems ⋮ Blocks and commutators in orthomodular lattices ⋮ Automorphisms and symmetries of quantum logics ⋮ Why John von Neumann did not like the Hilbert space formalism of quantum mechanics (and what he liked instead) ⋮ The exocenter of a generalized effect algebra ⋮ Kochen-Specker sets and generalized orthoarguesian equations ⋮ Subalgebras of orthomodular lattices ⋮ Logical approach for two-valued states on quantum systems ⋮ \(n\)-orthodistributivity in orthomodular lattices ⋮ Measurable systems and behavioral sciences ⋮ Conditional entropy and the Rokhlin metric on an orthomodular lattice with bayessian state ⋮ Quantum measures on finite effect algebras with the Riesz decomposition properties ⋮ Quotients of dimension effect algebras ⋮ Cartesian product of compressible effect algebras ⋮ Atomicity and causal completeness ⋮ A new notion of causal closedness ⋮ Congruence kernels of orthomodular implication algebras ⋮ Duality for the logic of quantum actions ⋮ Classical logic and quantum logic with multiple and common lattice models ⋮ A formal framework for the study of the notion of undefined particle number in quantum mechanics ⋮ A new view of effects in a Hilbert space ⋮ Kripke style semantic for the logic of two valued-states ⋮ Varieties of orthocomplemented lattices induced by Łukasiewicz-groupoid-valued mappings ⋮ Orthoalgebras as pastings of Boolean algebras ⋮ Orthogonal measures on state spaces and context structure of quantum theory ⋮ Compositions of Sasaki projections ⋮ Completeness in sums of Boolean algebras and logics ⋮ Coupled right orthosemirings induced by orthomodular lattices ⋮ Block-finite atomic orthomodular lattices ⋮ Nonordered quantum logic and its YES-NO representation ⋮ Convex combinations of fuzzy logical operations ⋮ Exhaustive generation of orthomodular lattices with exactly one nonquantum state ⋮ On Drewnowski lemma for non-additive functions and its consequences ⋮ Centrally orthocomplete effect algebras ⋮ Type-decomposition of an effect algebra ⋮ Effect algebras are not adequate models for quantum mechanics ⋮ Noncommutativity as a colimit ⋮ New operations on orthomodular lattices: ``Disjunction and ``conjunction induced by Mackey decompositions ⋮ Effect algebras and unsharp quantum logics. ⋮ Projections in a synaptic algebra ⋮ The pasting constructions of lattice ordered effect algebras ⋮ Symmetries and retracts of quantum logics ⋮ Almost Boolean orthomodular posets ⋮ 0-homogeneous effect algebras ⋮ Von Neumann algebras, \(L\)-algebras, Baer*-monoids, and Garside groups ⋮ Classical limit and quantum logic ⋮ A link between quantum logic and categorical quantum mechanics ⋮ Bets and boundaries: Assigning probabilities to imprecisely specified events ⋮ Spectral resolution in an order-unit space ⋮ On the Lebesgue decomposition for non-additive functions ⋮ Existence of states on quantum structures ⋮ A projection and an effect in a synaptic algebra ⋮ 1982 news about orthomodular lattices ⋮ Symmetric differences on posets with an antitone involution ⋮ Extensions of a tight function and their continuity in quantum logic ⋮ An orthomodular analogue of the Birkhoff-Menger theorem ⋮ Commutator-finite orthomodular lattices ⋮ The Brooks-Jewett theorem on an orthomodular lattice ⋮ On the complemented disk algebra ⋮ Residuation in orthomodular lattices ⋮ Sasaki projections ⋮ The common logic of quantum universe. I: The case of non-relativistic quantum mechanics ⋮ Quotients of interval effect algebras ⋮ The foundations of probability and quantum mechanics ⋮ Polar decomposition in e-rings ⋮ \(L\)-algebras and three main non-classical logics ⋮ Transitivity and homogeneity of orthosets and inner-product spaces over subfields of \(\mathbb{R}\) ⋮ Structure groups of \(L\)-algebras and Hurwitz action ⋮ Riesz ideals in generalized pseudo effect algebras and in their unitizations ⋮ Orthomodular lattices containing MO2 as a subalgebra ⋮ An equational theory for \(\sigma \)-complete orthomodular lattices ⋮ On residuation in paraorthomodular lattices ⋮ Basic algebras and L-algebras ⋮ Orthomodular lattices as \(L\)-algebras ⋮ Generalized Hermitian algebras ⋮ E-perfect effect algebras ⋮ Operation associated to partitions and best extension of signed measures on set logics ⋮ Automaton partition logic versus quantum logic ⋮ Topological properties of operator generalized effect algebras ⋮ Convexity-preserving properties of partial binary operations with respect to filter convex structures on effect algebras ⋮ Choice-free duality for orthocomplemented lattices by means of spectral spaces ⋮ Strongly algebraically closed orthomodular near semirings ⋮ Decompositions of supermodular functions and \(\square\)-decomposable measures ⋮ Nondeterministic finite automata based on quantum logic: language equivalence relation and robustness ⋮ Automaton logic ⋮ Quantum set theory: transfer principle and De Morgan's laws ⋮ Compatibility of observables on effect algebras ⋮ Test groups and effect algebras ⋮ Relations and radicals in abstract lattices and in lattices of subspaces of Banach spaces and of ideals of Banach algebras. Amitsur's theory revisited ⋮ Quantum logic is undecidable ⋮ Categorial subsystem independence as morphism co-possibility ⋮ The structure group of a non-degenerate effect algebra ⋮ The space of measurement outcomes as a spectral invariant for non-commutative algebras ⋮ Involutive categories and monoids, with a GNS-correspondence ⋮ Coreflections in algebraic quantum logic ⋮ Complementarity in categorical quantum mechanics ⋮ Nondistributivity of human logic and violation of response replicability effect in cognitive psychology ⋮ Logical connectives on lattice effect algebras ⋮ \(L\)-effect algebras ⋮ A topological study of contextuality and modality in quantum mechanics ⋮ On locally finite orthomodular lattices ⋮ Linear \(L\)-algebras and prime factorization ⋮ Interpreting the Modal Kochen-Specker theorem: possibility and many worlds in quantum mechanics ⋮ Ideals and congruences of basic algebras ⋮ Stateless quantum structures and extremal graph theory ⋮ Testing for classicality of a physical system ⋮ States on symmetric logics: conditional probability and independence. II ⋮ Computer proof of monotonicity of operations on orthomodular lattices ⋮ Two-valued states on Baer \(^\ast\)-semigroups ⋮ The center of a generalized effect algebra. ⋮ On ring-like structures induced by Mackey's probability function. ⋮ Effects, observables, states, and symmetries in physics ⋮ Kolmogorov-Sinai type logical entropy for generalized simultaneous measurements ⋮ On the representation of measures over bounded lattices ⋮ Quantum structures without group-valued measures ⋮ Quantum violation of the suppes-zanotti inequalities and ``contextuality ⋮ Synaptic algebras as models for quantum mechanics ⋮ Generalised Kochen-Specker theorem in three dimensions ⋮ Regular elements in generalized hermitian algebras ⋮ Hull mappings and dimension effect algebras ⋮ New Approach in Defining Rough Approximations ⋮ Observables, states, and symmetries in the context of CB-effect algebras ⋮ A semiring-like representation of lattice pseudoeffect algebras ⋮ Questions and answers in an orthoalgebraic approach ⋮ Boundedness of nonadditive quantum measures ⋮ On set-representable orthocomplemented difference lattices ⋮ Algebraic and Categorical Aspects of Quantales ⋮ Boolean subalgebras of orthoalgebras ⋮ Noncommutative symmetric differences in orthomodular lattices ⋮ On \((3,3)\)-homogeneous greechie orthomodular posets ⋮ States on orthomodular amalgamations over trees ⋮ Three classes of orthomodular lattices ⋮ Model-theoretic investigations into consequence operation (Cn) in quantum logics: An algebraic approach ⋮ Orthomodularity of decompositions in a categorical setting ⋮ Equations holding in Hilbert lattices ⋮ The number of t-norms on some special lattices ⋮ Observables on synaptic algebras ⋮ On extension of joint distribution functions on quantum logics ⋮ Outer and inner approximations in quantum spaces ⋮ Quantum Logic in Dagger Kernel Categories ⋮ Generalized Greenberger-Horne-Zeilinger arguments from quantum logical analysis ⋮ Negations and meets in topos quantum theory ⋮ Convergence structures induced by scales ⋮ On fuzzy hidden variables ⋮ Basic decomposition of elements and Jauch-Piron effect algebras ⋮ Choquet order and Jordan morphisms of operator algebras ⋮ Commutator-finite D-lattices ⋮ A theory of computation based on quantum logic. I ⋮ Group-valued measures on the lattice of closed subspaces of a Hilbert space ⋮ Reforming Takeuti's quantum set theory to satisfy De Morgan's laws ⋮ Calculus for non-compatible observables, construction through conditional states ⋮ Small orthomodular partial algebras. ⋮ Approximating families for lattice outer measures on unsharp quantum logics ⋮ Two projections in a synaptic algebra ⋮ Semantic Abstraction and Quantum Computation ⋮ \(^\ast\)-Annihilators in proper \(^\ast\)-semigroups ⋮ Weaker forms of associativity in orthomodular lattices. ⋮ Unitizing a generalized pseudo effect algebra. ⋮ Quantum logics of idempotents of unital rings ⋮ Logicoalgebraic structures. I ⋮ Empirical logics ⋮ Set logics and their representations ⋮ Counterexamples in difference posets and orthoalgebras ⋮ Convexity and finite quantum logics ⋮ Continuous lattice effect algebras admitting order-continuous states ⋮ Pattern recognition in non-Kolmogorovian structures ⋮ Quantum logic and linear logic ⋮ Difference posets, effects, and quantum measurements ⋮ Logicoalgebraic structures. II: Supports in test spaces ⋮ Orthomodular lattices that are \(Z_2\)-rich ⋮ A representation theory for orthomodular lattices by means of closure spaces ⋮ Varieties of modular ortholattices ⋮ Decompositions of measures on orthoalgebras and difference posets ⋮ Orthosummable orthoalgebras ⋮ Extensions of real-valued difference posets ⋮ Sums and products of interval algebras ⋮ Order-topological complete orthomodular lattices ⋮ Kalmbach outer measures and valuations ⋮ Brooks-Jewett and Nikodym convergence theorems for orthoalgebras that have the weak subsequential interpolation property ⋮ Banach synaptic algebras ⋮ Tensor products and probability weights ⋮ Noncommutative version of Nikodym boundedness theorem for uniform space- valued functions ⋮ Bell-type inequalities in orthomodular lattices. I: Inequalities of order 2 ⋮ Minimal quantum logic with merged implications ⋮ Automorphism groups and the full state spaces of the Petersen graph generalizations of \(G_{32}\) ⋮ Lattice uniformities and modular functions on orthomodular lattices ⋮ Minimal orthomodular lattices ⋮ Orthosymmetric ortholattices and Rickart \(^*\)-rings ⋮ Orthomodular posets of idempotents in finite rings of matrices ⋮ Transition to effect algebras ⋮ States on orthoalgebras ⋮ Pták sum of a Boolean algebra with an effect algebra and its completeness ⋮ Simple involutive quantales ⋮ Quasivarieties of orthomodular lattices and Bell inequalities ⋮ Ideals in ortholattices, Bell inequalities, and simultaneously definite properties ⋮ Quantum set theory extending the standard probabilistic interpretation of quantum theory ⋮ Finitely generated free modular ortholattices. I ⋮ Finitely generated free modular ortholattices. II ⋮ Every synaptic algebra has the monotone square root property ⋮ Kolmogorov-Sinai entropy for \(p\)-preserving systems ⋮ Blocks and compatibility in \(\mathrm d_0\)-algebras ⋮ Quantum effect logic in cognition ⋮ Quantum teleportation and Grover's algorithm without the wavefunction ⋮ Semilattices global valuations in the topos approach to quantum mechanics ⋮ Modeling correlated information change: from conditional beliefs to quantum conditionals ⋮ Notes on quantum logics and involutive bounded posets ⋮ Weak QMV algebras and some ring-like structures ⋮ Finite homogeneous and lattice ordered effect algebras ⋮ On the modal logic of the non-orthogonality relation between quantum states ⋮ Constructive approach to logics of physical systems: Application to EPR case ⋮ A characterization of nuclei in orthomodular and quantic lattices ⋮ Spectral order on a synaptic algebra ⋮ One-sided orthogonality, orthomodular spaces, quantum sets, and a class of Garside groups ⋮ Projectales ⋮ Representations of state space transformations by Markov kernels ⋮ Quantic lattices ⋮ Orthomodular lattices whose MacNeille completions are not orthomodular ⋮ Independence and totalness of subspaces in phase space methods ⋮ States and synaptic algebras ⋮ A Loomis-Sikorski theorem and functional calculus for a generalized Hermitian algebra ⋮ Kadison's antilattice theorem for a synaptic algebra ⋮ Strong versus weak quantum consequence operations ⋮ Selective correlations in finite quantum systems and the Desargues property ⋮ The \(L\)-algebra of Hurwitz primes ⋮ Topology lattice as quantum logic ⋮ Filters and supports in orthoalgebras ⋮ Structure of the set of annihilators ⋮ Modular almost orthogonal quantum logics ⋮ Independence of automorphism group, center, and state space of quantum logics ⋮ Extensions of witness mappings ⋮ Even more about the lattice of tense logics ⋮ Quantum value indefiniteness ⋮ Irreducible orthomodular lattices which are simple ⋮ Pseudo difference posets and pseudo Boolean D-posets ⋮ A theory of vague lattices based on many-valued equivalence relations. I: General representation results ⋮ Effect algebras as presheaves on finite Boolean algebras ⋮ Weakly orthomodular and dually weakly orthomodular lattices ⋮ On special elements and pseudocomplementation in lattices with antitone involutions ⋮ Canonical extensions and ultraproducts of polarities ⋮ Isomorphism theorems on generalized effect algebras based on atoms ⋮ Pseudocomplemented lattice effect algebras and existence of states ⋮ Orthocomplemented posets with a symmetric difference ⋮ Modular functions: uniform boundedness and compactness ⋮ A note on Trillas' CHC models ⋮ Generalization of Maeda's theorem ⋮ Spin factors as generalized Hermitian algebras ⋮ The Leibniz principle in quantum logic ⋮ A non-commutative version of the first Alexandroff decomposition theorem in ordered topological groups ⋮ States on symmetric logics: conditional probability and independence ⋮ Orthomodulare Verbände mit Regularitaetsbedingungen ⋮ A topos for algebraic quantum theory ⋮ Automatic boundedness of quantum measures ⋮ Countable Jauch-Piron logics ⋮ A characterization of modularity and orthomodularity ⋮ Boolean powers and quantum measurements ⋮ Varieties of orthomodular lattices related to states ⋮ Tensor products of orthoalgebras ⋮ Completions of orthomodular lattices. II ⋮ The dimension of orthomodular posets constructed by pasting Boolean algebras
