Orthomodular structures as quantum logics. Transl. from the Slovak
From MaRDI portal
Publication:1188968
zbMath0743.03039MaRDI QIDQ1188968
Publication date: 18 September 1992
Published in: Fundamental Theories of Physics (Search for Journal in Brave)
uncertainty principlequantum mechanicsjoint distributionquantum logicstate spaceGleason theoremgeneralization of probability theory to quantum logicsmeasurement of quantum mechanical observablesstates on logics
Research exposition (monographs, survey articles) pertaining to quantum theory (81-02) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)
Related Items
Logicoalgebraic structures. I ⋮ Empirical logics ⋮ States on projection logics of von Neumann algebras ⋮ Representation of fuzzy quantum posets of types I, II ⋮ Jauch-Piron orthomodular posets and propositional systems: A comparison ⋮ Jauch-Piron property (everywhere!) in the logicoalgebraic foundation of quantum theories ⋮ Properties of Boolean orthoposets ⋮ A Galois connection approach to superposition and inaccessibility ⋮ Counterexamples in difference posets and orthoalgebras ⋮ What does pasting manage in OMPs? ⋮ Representations of empirical set theories ⋮ Difference posets, effects, and quantum measurements ⋮ Nonstandard Fock spaces ⋮ On tense MV-algebras ⋮ Effect algebras with state operator ⋮ Sharp and unsharp observables on \(\sigma \)-MV algebras -- a comparison with the Hilbert space approach ⋮ Decompositions of measures on orthoalgebras and difference posets ⋮ Fuzzy quantum logics and infinite-valued Łukasiewicz logic ⋮ Test spaces, Dacey spaces, and completeness of inner product spaces ⋮ Sums and products of interval algebras ⋮ States on orthocomplemented difference posets (extensions) ⋮ Spectral resolution in a Rickart comgroup ⋮ Non-signalling theories and generalized probability ⋮ A discussion on the origin of quantum probabilities ⋮ Representation systems and quantum structures ⋮ Recent progress on pre-Hilbert-space logics and their measure spaces ⋮ Interval and scale effect algebras ⋮ Daggers, kernels, Baer *-semigroups, and orthomodularity ⋮ Quasivarieties of orthomodular lattices and Bell inequalities ⋮ Removing the torsion from a unital group. ⋮ On the lattice structure of probability spaces in quantum mechanics ⋮ Automata theory based on quantum logic: Some characterizations ⋮ Ideals in ortholattices, Bell inequalities, and simultaneously definite properties ⋮ Spectral order of operators and range projections ⋮ Unification of two approaches to quantum logic: Every Birkhoff-von Neumann quantum logic is a partial infinite-valued Łukasiewicz logic ⋮ Finitely generated free modular ortholattices. II ⋮ Characterization of spaces of filtering states ⋮ States as morphisms ⋮ The intersection operation in light of joint observables and Bell inequalities in operational probability theory ⋮ Hilbert lattice equations ⋮ Can many-valued logic help to comprehend quantum phenomena? ⋮ Characterization of Boolean algebras in terms of certain states of Jauch-Piron type ⋮ The logic of bundles ⋮ 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 ⋮ Commutative bounded integral residuated orthomodular lattices are Boolean algebras ⋮ Finite homogeneous and lattice ordered effect algebras ⋮ The exocenter of a generalized effect algebra ⋮ Subalgebras of orthomodular lattices ⋮ Orthomodular posets related to \(Z_2\)-valued states ⋮ Logical approach for two-valued states on quantum systems ⋮ How to produce S-tense operators on lattice effect algebras ⋮ Non-contextual chocolate balls versus value indefinite quantum cryptography ⋮ Orthonormal bases and quasi-splitting subspaces in pre-Hilbert spaces ⋮ Bibliography on quantum logics and related structures ⋮ Bell-type inequalities for bivariate maps on orthomodular lattices ⋮ Additivity of vector Gleason measures ⋮ Congruence kernels of orthomodular implication algebras ⋮ 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 ⋮ Concrete quantum logics and \(\Delta\)-logics, states and \(\Delta\)-states ⋮ Real orthogonal projections as quantum logic ⋮ Kripke style semantic for the logic of two valued-states ⋮ The problem of conjunction and disjunction in quantum logics ⋮ Dynamics in the decompositions approach to quantum mechanics ⋮ Varieties of orthocomplemented lattices induced by Łukasiewicz-groupoid-valued mappings ⋮ Orthoalgebras as pastings of Boolean algebras ⋮ Concrete quantum logics with covering properties ⋮ Empirical set theory ⋮ Quantum logics of idempotents or projections in \(C^\ast\)-algebras ⋮ Type-decomposition of an effect algebra ⋮ New operations on orthomodular lattices: ``Disjunction and ``conjunction induced by Mackey decompositions ⋮ Nearly orthosymmetric ortholattices and Hilbert spaces ⋮ Partial and unsharp quantum logics. ⋮ Maps on a quantum logic ⋮ Congruences and ideals in pseudo effect algebras as total algebras ⋮ Quantum observables and effect algebras ⋮ Partial description of quantum states ⋮ A link between quantum logic and categorical quantum mechanics ⋮ On the Lebesgue decomposition for non-additive functions ⋮ Markov property in quantum logic: A reflection ⋮ S-map and tracial states ⋮ Quantum scholasticism: On quantum contexts, counterfactuals, and the absurdities of quantum omniscience ⋮ A projection and an effect in a synaptic algebra ⋮ Orthocomplemented posets with a symmetric difference ⋮ Modular functions: uniform boundedness and compactness ⋮ A representation of projection lattices and their states in Euclidean space ⋮ A note on Trillas' CHC models ⋮ Symmetric differences on posets with an antitone involution ⋮ Extensions of a tight function and their continuity in quantum logic ⋮ Fuzzy set representations of some quantum structures ⋮ On limit theorems in fuzzy quantum spaces ⋮ Boolean orthoposets and two-valued states on them ⋮ Countable Jauch-Piron logics ⋮ \(P\)-measures on soft fuzzy \(\sigma\)-algebras ⋮ Boolean powers and quantum measurements ⋮ Some properties of orthologics ⋮ Jauch-Piron states on von Neumann algebras ⋮ Orthosystems of submodules of a module ⋮ Separating points of measures on effect algebras ⋮ Łukasiewicz Tribes are Absolutely Sequentially Closed Bold Algebras ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Quantum logics representable as kernels of measures ⋮ A THEOREM OF SOLÉR, THE THEORY OF SYMMETRY AND QUANTUM MECHANICS ⋮ States on systems of sets that are closed under symmetric difference ⋮ Poset-valued preference relations ⋮ Quantum probabilities as Dempster-Shafer probabilities in the lattice of subspaces ⋮ Wigner's theorem for an infinite set ⋮ Quantum mechanics: why complex Hilbert space? ⋮ Compatibility and decompositions of effects ⋮ Extension theorems (vector measures on quantum logics) ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On the set-representable orthomodular posets that are point-distinguishing ⋮ Spectrality in convex sequential effect algebras ⋮ On blocks in the products and ultraproducts of orthomodular lattices ⋮ Tense logic based on finite orthomodular posets ⋮ Notes on sharp and principal elements in effect algebras ⋮ Implicative-orthomodular algebras ⋮ Quantum key distribution without the wavefunction ⋮ Unnamed Item ⋮ Tensor product of no-signaling boxes in the framework of quantum logics ⋮ Roots and (Re)sources of Value (In)definiteness Versus Contextuality ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Hull mappings and dimension effect algebras ⋮ Unnamed Item ⋮ Cantor–Bernstein Property for MV-Algebras ⋮ Unnamed Item ⋮ DYNAMIC QUANTUM LOGIC FOR QUANTUM PROGRAMS ⋮ Unnamed Item ⋮ Möbius operators and non-additive quantum probabilities in the Birkhoff-von Neumann lattice ⋮ Group-valued measures on coarse-grained quantum logics ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Jauch–Piron states on quantum logics ⋮ Unnamed Item ⋮ On the notion of coexistence in quantum mechanics ⋮ On identities in orthocomplemented difference lattices ⋮ On algebras of multidimensional probabilities ⋮ Towards many-valued/fuzzy interpretation of quantum mechanics ⋮ Extending states on finite concrete logics ⋮ Orthomodular Lattices in Occurrence Nets ⋮ Extending states on finite concrete logics ⋮ On Orthomodular Posets Generated by Transition Systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A quantum logical and geometrical approach to the study of improper mixtures ⋮ Quasi-splitting subspaces and Foulis-Randall subspaces ⋮ Atomic effect algebras with compression bases ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Continuous lattice effect algebras admitting order-continuous states ⋮ An axiomatic basis for quantum mechanics ⋮ The common logic of quantum universe. I: The case of non-relativistic quantum mechanics ⋮ Axiomatization of quantum logics ⋮ Conjunctions, disjunctions, and Bell-type inequalities in orthoalgebras ⋮ Examples, problems, and results in effect algebras ⋮ Product of partition logics, orthoalgebras, and automata ⋮ Orthomodular lattices that are \(Z_2\)-rich ⋮ Unnamed Item ⋮ Notes on automata theory based on quantum logic ⋮ Difference posets and the histories approach to quantum theories ⋮ The individual ergodic theorem on the IF-events with product ⋮ Noncommutative version of Nikodym boundedness theorem for uniform space- valued functions ⋮ Bell-type inequalities in orthomodular lattices. I: Inequalities of order 2 ⋮ Lattice uniformities and modular functions on orthomodular lattices ⋮ Automata theory based on quantum logic: recognizability and accessibility ⋮ Boolean quotients of orthomodular lattices ⋮ Characterizations of classical and quantum logics ⋮ D-lattices ⋮ Extension properties of states on operator algebras ⋮ States on orthoalgebras ⋮ Compatibility in D-posets ⋮ \(q\)-sigma-algebra generated by balls ⋮ Pták sum of a Boolean algebra with an effect algebra and its completeness ⋮ Automaton partition logic versus quantum logic ⋮ Subadditivity of states on quantum logics ⋮ Strongly algebraically closed orthomodular near semirings ⋮ Nondeterministic finite automata based on quantum logic: language equivalence relation and robustness ⋮ Automaton logic ⋮ Compatibility of observables on effect algebras ⋮ Semi-orthoposets ⋮ Order topology on orthocomplemented posets of linear subspaces of a pre-Hilbert space ⋮ Galois connections and tense operators on q-effect algebras ⋮ Operator analogy of quantum pseudo-logic ⋮ Probability measure on real-orthogonal projections ⋮ Coreflections in algebraic quantum logic ⋮ Lattice-theoretic models of conjectures, hypotheses and consequences ⋮ A Boolean topological orthomodular poset ⋮ Spectral order unit spaces and JB-algebras ⋮ Unnamed Item ⋮ An approach to quantum mechanics via conditional probabilities ⋮ Sharp and fuzzy observables on effect algebras ⋮ Small quantum structures with small state spaces ⋮ Atomic sequential effect algebras ⋮ A \((3,3)\)-homogeneous quantum logic with 18 atoms. I ⋮ Partial tense MV-algebras and related functions ⋮ Quantum logics and Hilbert space ⋮ Quantum teleportation and Grover's algorithm without the wavefunction ⋮ On locally finite orthomodular lattices ⋮ On a Marinacci uniqueness theorem for measures. ⋮ Computer proof of monotonicity of operations on orthomodular lattices ⋮ Two-valued states on Baer \(^\ast\)-semigroups ⋮ Automata theory based on quantum logic: reversibilities and pushdown automata ⋮ Spectral order on a synaptic algebra ⋮ The many-valued logic of quantum mechanics ⋮ Quantum structures without group-valued measures ⋮ Independence and totalness of subspaces in phase space methods ⋮ Effect algebras with compressions ⋮ Orthomodular lattice in Lorentzian globally hyperbolic space-time ⋮ Quantum logics defined by divisibility conditions ⋮ Synaptic algebras as models for quantum mechanics ⋮ A Loomis-Sikorski theorem and functional calculus for a generalized Hermitian algebra ⋮ Selective correlations in finite quantum systems and the Desargues property ⋮ Joins and meets of symmetric idempotents ⋮ How sharp are PV measures ⋮ Quantum value indefiniteness ⋮ Boundedness of nonadditive quantum measures ⋮ A theory of vague lattices based on many-valued equivalence relations. I: General representation results ⋮ Sharp and meager elements in orthocomplete homogeneous effect algebras ⋮ Representation of concrete logics and concrete generalized orthomodular posets ⋮ Local realistic representation for correlations in the original EPR-model for position and momentum ⋮ Representation theorem of observables on a quantum system ⋮ Symmetries on partially ordered Abelian groups ⋮ Orthomodularity of decompositions in a categorical setting ⋮ Equations holding in Hilbert lattices ⋮ Effect algebras as presheaves on finite Boolean algebras ⋮ Stability of regional orthomodular posets under synchronisation and refinement ⋮ Strong projections in Hilbert space and quantum logic ⋮ On Frink ideals in orthomodular posets ⋮ Meager projections in orthocomplete homogeneous effect algebras ⋮ Jauch-Piron states on concrete quantum logics ⋮ Extension of domains of states ⋮ D-test spaces and difference posets ⋮ Geometric and algebraic aspects of spectrality in order unit spaces: a comparison ⋮ On extension of joint distribution functions on quantum logics ⋮ Generalized Greenberger-Horne-Zeilinger arguments from quantum logical analysis ⋮ Quantum logics that are symmetric-difference-closed ⋮ Conditional probability on \(\sigma\)-MV-algebras ⋮ Basic decomposition of elements and Jauch-Piron effect algebras ⋮ Lattice-ordered effect algebras and L-algebras ⋮ Spectral resolutions in Dedekind \(\sigma\)-complete \(\ell\)-groups ⋮ Lüders rule and conditional probability for commuting events ⋮ Lyapunov modular functions ⋮ Strong rojections in Hilbert space and quantum logic ⋮ Orthomodular lattices generated by graphs of functions ⋮ Automatic boundedness of quantum measures ⋮ An algebraic model of observable properties in distributed systems ⋮ Calculus for non-compatible observables, construction through conditional states ⋮ Weaker forms of associativity in orthomodular lattices. ⋮ Characterization of tree automata based on quantum logic
This page was built for publication: Orthomodular structures as quantum logics. Transl. from the Slovak
