In the foundations of quantum mechanics Gleason’s theorem dictates the uniqueness of the state transition probability via the inner product of the corresponding state vectors in Hilbert space, independent of which measurement context induces this transition. We argue that the state transition probability should not be regarded as a secondary concept which can be derived from the structure on the set of states and properties, but instead should be regarded as a primitive concept for which measurement context is crucial. Accordingly, (...) we adopt an operational approach to quantum mechanics in which a physical entity is defined by the structure of its set of states, set of properties and the possible (measurement) contexts which can be applied to this entity. We put forward some elementary definitions to derive an operational theory from this State–COntext–Property (SCOP) formalism. We show that if the SCOP satisfies a Gleason-like condition, namely that the state transition probability is independent of which measurement context induces the change of state, then the lattice of properties is orthocomplemented, which is one of the ‘quantum axioms’ used in the Piron–Solèr representation theorem for quantum systems. In this sense we obtain a possible physical meaning for the orthocomplementation widely used in quantum structures. (shrink)

The working assumption of this paper is that noncommuting variables are irreducibly interdependent. The logic of such dependence relations is the author's independence-friendly (IF) logic, extended by adding to it sentence-initial contradictory negation ¬ over and above the dual (strong) negation ∼. Then in a Hilbert space ∼ turns out to express orthocomplementation. This can be extended to any logical space, which makes it possible to define the dimension of a logical space. The received Birkhoff and von Neumann "quantum (...) logic" can be interpreted by taking their "disjunction" to be ¬(∼A & ∼ B). Their logic can thus be mapped into a Boolean structure to which an additional operator ∼ has been added. (shrink)

This paper essentially originates from the notion of a block in an orthomodular lattice. What happens to orthomodularity when orthocomplementation is weakened? We will show that, under definitely smooth conditions, a great deal of the theory of orthomodular lattices carries over naturally.

This paper connects complete orthomodular lattices to two enriched quantale structures. Complete orthomodular lattices emphasize a static perspective of a quantum system, helping us reason about testable properties of a quantum system. Quantales offer a dynamic perspective, helping us reason about the structure of quantum actions. We enrich quantales with an orthocomplementation-inducing operator, and call these structures orthomodular dynamic algebras. One type of orthomodular dynamic algebra distinguishes the joins of any two different sets of atoms, while the other distinguishes (...) elements by the collective behavior of the atoms below it. We show that both orthomodular dynamic algebras are unital, and the unit is the top element of an induced orthomodular lattice. We provide a categorical equivalence between both orthomodular dynamic algebras and complete orthomodular lattices with isomorphisms, and we show that this equivalence is preserved when augmenting the orthomodular dynamic algebras with an involution. These equivalences help clarify the relationship between static and dynamic quantum structures. (shrink)

With a certain graphic interpretation in mind, we say that a function whose value at every point in its domain is a nonempty set of real numbers is an Abacus. It is shown that to every collection C of abaci there corresponds a logic, called an abacus logic, i.e., a certain set of propositions partially ordered by generalized implication. It is also shown that to every collection C of abaci there corresponds a theory JC in a classical propositional calculus such (...) that the abacus logic determined by C is isomorphic to the poset of JC. Two examples are given. In both examples abacus logic is a lattice in which there happens to be an operation of orthocomplementation. In the first example abacus logic turns out to be the Lindenbaum algebra of JC. In the second example abacus logic is a lattice isomorphic to the ortholattice of subspaces of a Hilbert space. Thus quantum logic can be regarded as an abacus logic. Without suggesting "hidden variables" it is finally shown that the Lindenbaum algebra of the theory in the second example is a subalgebra of the abacus logic B of the kind studied in example 1. It turns out that the "classical observables" associated with B and the "quantum observables" associated with quantum logic are not unrelated. The value of a classical observable contains, in coded form, information about the "uncertainty" of a quantum observable. This information is retrieved by decoding the value of the corresponding classical observable. (shrink)

On the basis of Mackey's axiomatic approach to quantum physics or, equivalently, of a “state-event-probability” (SEVP) structure, using a quite standard “fuzzification” procedure, a set of unsharp events (or “effects”) is constructed and the corresponding “state-effect-probability” (SEFP) structure is introduced. The introduction of some suitable axioms gives rise to a partially ordered structure of quantum Brouwer-Zadeh (BZ) poset; i.e., a poset endowed with two nonusual orthocomplementation mappings, a fuzzy-like orthocomplementation, and an intuitionistic-like orthocomplementation, whose set of sharp (...) elements is an orthomodular complete lattice. As customary, by these orthocomplementations the two modal-like necessity and possibility operators are introduced, and it is shown that Ludwig's and Jauch-Piron's approaches to quantum physics are “interpreted” in complete SEFP. As a marginal result, a standard procedure to construct a lot of unsharp realizations starting from any sharp realization of a fixed observable is given, and the relationship among sharp and corresponding unsharp realizations is studied. (shrink)

In their seminal paper Birkhoff and von Neumann revealed the following dilemma:[ ] whereas for logicians the orthocomplementation properties of negation were the ones least able to withstand a critical analysis, the study of mechanics points to the distributive identities as the weakest link in the algebra of logic.

The standard Brouwer–Zadeh poset Σ(H) is the poset of all effect operators on a Hilbert space H, naturally equipped with two types of orthocomplementation. In developing the theory, the question occured if (when) Σ(H) fulfils the de Morgan property with respect to both orthocomplementation operations. In Ref.3 the authors proved that it is the case provided dimH<∞, and they conjectured that if dimH=∞, then the answer is in the negative. In this note, we first give a somewhat simpler (...) proof of the known result for dimH<∞, and then we give a proof to the conjecture: We show that if dimH=∞, then the de Morgan property is not valid. (shrink)

Formally, a description of weak BCK-algebras can be obtained by replacing the first BCK axiom \ - \le z - y}\) by its weakening \. It is known that every weak BCK-algebra is completely determined by the structure of its initial segments. We consider weak BCK-algebras with De Morgan complemented, orthocomplemented and orthomodular sections, as well as those where sections satisfy a certain compatibility condition, and characterize each of these classes of algebras by an equation or quasi-equation. For instance, those (...) weak BCK-algebras in which all initial segments are De Morgan complemented are just commutative weak BCK-algebras. (shrink)