Results 11 to 20 of about 672,721 (195)
Conditions for the modularity of an orthomodular lattice. [PDF]
Pacific Journal of Mathematics, 1961 D. Foulis
semanticscholar +5 more sources
Between quantum logic and concurrency [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We start from two closure operators defined on the elements of a special kind of partially ordered sets, called causal nets. Causal nets are used to model histories of concurrent processes, recording occurrences of local states and of events. If every
Luca Bernardinello +2 more
doaj +4 more sources
Negative Translations of Orthomodular Lattices and Their Logic [PDF]
QPL, 2021 We introduce residuated ortholattices as a generalization of -- and environment for the investigation of -- orthomodular lattices. We establish a number of basic algebraic facts regarding these structures, characterize orthomodular lattices as those ...
Wesley Fussner, Gavin St. John
semanticscholar +3 more sources
Orthomodular Lattices and Quantales [PDF]
International Journal of Theoretical Physics, 2005 Let $L$ be a complete orthomodular lattice. There is a one to one correspondence between complete boolean subalgebras of $L$ contained in the center of $L$ and endomorphisms $j$ of $L$ satisfying the Borceux-Van den Bossche conditions.
Leopoldo Román
openaire +5 more sources
An Intrinsic Topology for Orthomodular Lattices [PDF]
International Journal of Theoretical Physics, 2007 Under submission to the International Journal of Theoretical ...
A. Wilce +15 more
openaire +10 more sources
Cyclic atoms in orthomodular lattices [PDF]
Proceedings of the American Mathematical Society, 1971 Let P ( H ) P(H) denote the projection lattice of a separable Hilbert space H. For each x ∈ H {\text {x}} \in H , let P x {P_{\text {x}}} denote the projection onto the one ...
Donald E. Catlin
+5 more sources
Conditioning maps on orthomodular lattices [PDF]
Glasgow Mathematical Journal, 1971 Let (χ Σ, μ) be a probability space, so that X is a non-empty set, Σ is a Boolean a-algebra of subsets of X, and μ is a probability measure defined on Σ. If D Ε S is such that μ(D)≠0, then one traditionally associates with D a new probability measure μD, called the conditional probability measure determined by D, and defined by μD(E)= μ(D∩E)/μ(D), for ...
C. H. Randall, David J. Foulis
openaire +3 more sources
Hypersubstitutions in orthomodular lattices
Discussiones Mathematicae - General Algebra and Applications, 2001 Let \(\tau\) be a type of algebras. By a hypersubstitution of type \(\tau\) there is either meant a mapping assigning to every fundamental operation symbol of type \(\tau\) a term of type \(\tau\) of the same arity or there is meant the obvious extension of this mapping to the set of all terms of type \(\tau\).
Helmut Länger, Ivan Chajda
openaire +4 more sources
On Locally Finite Orthomodular Lattices [PDF]
Mathematica Slovaca, 2023 Abstract Let us denote by ℒ ℱ $[\mathcal{L}\mathcal{F}$ the ...
Burešová, Dominika, Pták, Pavel
openaire +3 more sources
Modularity, Atomicity and States in Archimedean Lattice Effect Algebras [PDF]
Symmetry, Integrability and Geometry: Methods and Applications, 2010 Effect algebras are a generalization of many structures which arise in quantum physics and in mathematical economics. We show that, in every modular Archimedean atomic lattice effect algebra E that is not an orthomodular lattice there exists an (o ...
Jan Paseka
doaj +5 more sources