Operational logics and the Hahn-Jordan property

The main result established in this paper is the following: If the base normed spaceV of completely additive weights is a norm-determining subspace of the space of finitely additive weights V acting on the order unit space spanning the operational logic, thenV has the -Jordan-Hahn property iff V has the approximate Jordan-Hahn property. Several examples illustrating the theory are given.Dedicated to the memory of Professor Charles H. Randall.     

Quantum logics and convex geometry

The main result is a representation theorem which shows that, for a large class of quantum logics, a quantum logic,Q, is isomorphic to the lattice of projective faces in a suitable convex setK. As an application we extend our earlier results [4], which, subject to countability conditions, gave a geometric characterization of those quantum logics which are isomorphic to the projection lattice of a von Neumann algebra or aJ B W-algebra.     

Quantum logics and hilbert space

Starting with a quantum logic (a -orthomodular poset) L. a set of probabilistically motivated axioms is suggested to identify L with a standard quantum logic L(H) of all closed linear subspaces of a complex, separable, infinite-dimensional Hilbert space.     

Quantum logics and chemical kinetics

A statistical theory of chemical kinetics is presented based on the quantum logical concept of chemical observables. The apparatus of Boolean algebra $\text{B}$ is applied for the construction of appropriate composition polynomials referring to any stipulated arrangement of the atomic constituents. A physically motivated probability measure μ(F) is introduced on the field $\text{B}$ of chemical observables, which considers the occurrence of the yes response of a given F ? $\text{B}$. The equations for the time evolution of the species density operators and the master equations for the corresponding number densities are derived. The general treatment is applied to a superposition of elementary substitution reactions (AB)_α + C ? (AC)_β + B. The expressions for the reaction rate coefficients are established.     

Connections among quantum logics. Part 2. Quantum event logics

This paper gives a brief introduction to the major areas of work in quantum event logics: manuals (Foulis and Randall) and semi-Boolean algebras (Abbott). The two theories are compared, and the connection between quantum event logics and quantum propositional logics is made explicit. In addition, the work on manuals provides us with many examples of results stated in Part I.     

Connections among quantum logics. Part 1. Quantum propositional logics

In this paper, we propose a theory of quantum logics which is general enough to enable us to reexamine previous work on quantum logics in the context of this theory. It is then easy to assess the differences between the different systems studied. The quantum logical systems which we incorporate are divided into two groups which we call quantum propositional logics and quantum event logics. We include the work of Kochen and Specker (partial Boolean algebras), Greechie and Gudder (orthomodular partially ordered sets), Domotar (quantum mechanical systems), and Foulis and Randall (operational logics) in quantum propositional logics; and Abbott (semi-Boolean algebras) and Foulis and Randall (manuals) in quantum event logics. In this part of the paper, we develop an axiom system for quantum propositional logics and examine the above structures in the context of this system.     

Quantum logics derived from asymmetric Mielnik forms

It is shown that a logic will possess a rich set of states if and only if it can be derived from a Mielnik form, not necessarily symmetric.     

Quantum logics seen as quantum testability theories

We confute logical relativism and forward an alternative epistemological thesis according to which nonstandard truth-theories are considered theories of some metalinguistic concepts which do not coincide with truth, this latter concept being exhaustively described by Tarski's truth theory. We illustrate our viewpoint by showing that quantum logics can be interpreted as quantum physical theories of the metalinguistic concept of testability in the framework of a suitable classical language (with Tarskian semantics).     

Quantum logics and completeness criteria of inner product spaces

We present the survey of measure-theoretic completeness criteria for inner product spaces using methods and notions important for quantum logics. Moreover, some new criteria and open problems are given.     

Quantum logics,physical space,position observables and symmetry

The concepts of physical space, localizability, position and symmetry are incorporated in the quantum logic approach to axiomatic quantum mechanics. The corresponding structure then reduces to the usual von Neumann Hilbert space model for quantum mechanics.     

Quantum noise property in coherent atomic system

The coherent superposition of atomic states leads to the characteristic change of interacting lights because of the coupling between the lights and atoms. In this paper, the noise spectrum of the quantified light interacting with the atoms is studied under the condition of electromagnetically induced transparency (EIT). It is shown that the noise spectrum displays a double M-shape noise profile resulted from the conversion of phase noise of probe beam. A squeezing of 0.3 dB can be observed at the detuning of probe light at the proper parameters of atoms and coupling beam.     

Jauch-Piron logics with finiteness conditions

We show that there are no non-Boolean block-finite orthomodular posets possessing a unital set of Jauch-Piron states. Thus, an orthomodular poset representing a quantum physical system must have infinitely many blocks.     

Superconducting gates with fluxon logics

We have developed several logic gates (OR, XOR, AND and NAND) made of superconducting Josephson junctions. The gates based of the flux cloning phenomenon and high speed of fluxons moving in Josephson junctions of different shapes. In a contrast with previous design the gates operates extremely fast since fluxons are moving with the speed close to the speed of light. We have demonstrated their operations and indicated several ways to made a more complicated logic elements which have at the same time a compact form.     

Boolean transfer from coherent quantum logics to quantum logics with continuous superselection rules

Quantum logics with continuous superselection rules are shown to be Booleanvalued coherent quantum logics. Since modern set theory provides a transfer principle from standard mathematics to Boolean-valued mathematics, this makes it possible to transfer automatically well-known results on coherent quantum logics to quantum logics with continuous superselection rules. Many illustrations are given.     

Concrete quantum logics with covering properties

LetL be a concrete (=set-representable) quantum logic. Letn be a natural number (or, more generally, a cardinal). We say thatL admits intrinsic coverings of the ordern, and writeL C _n , if for any pairA, BL we can find a collection {C _i iI}, where cardI<n andC _i L for anyiI, such thatA B= _il C _i . Thus, in a certain sense, ifLC _n , then the rate of noncompatibility of an arbitrary pairA,BL is less than a given numbern. In this paper we first consider general and combinatorial properties of logics ofC _n and exhibit typical examples. In particular, for a givenn we construct examples ofL C _n+1\C _n . Further, we discuss the relation of the classesC _n to other classes of logics important within the quantum theories (e.g., we discover the interesting relation to the class of logics which have an abundance of Jauch-Piron states). We then consider conditions on which a class of concrete logics reduce to Boolean algebras. We conclude with some open questions.     

Empirical logics

“To what extent is logic empirical?” is a question that has been often discussed in connection with the studies about the foundations of quantum theory. Today we are facing not only a variety of logics, but even a variety of quantum logics. Hence, the original question seems to have turned to the new one: to what extent is it reasonable to look for the “right quantum logic”?     

Countable Jauch-Piron logics

It is shown that there exist non-Boolean unital and countable quantum logics which are Jauch-Piron.     

Paraconsistent quantum logics

Paraconsistent quantum logics are weak forms of quantum logic, where the noncontradiction and the excluded-middle laws are violated. These logics find interesting applications in the operational approach to quantum mechanics. In this paper, we present an axiomatization, a Kripke-style, and an algebraic semantical characterization for two forms of paraconsistent quantum logic. Further developments are contained in Giuntini and Greuling's paper in this issue.     

Higher-order quantum logics

Until now quantum logics has been first-order, but physics requires higher-order logics. We construct a natural higher-order languageQ for quantum physics.Q is a finitistic logic based on Peano set theory and Grassmann algebra. Higher-order predicates are identified with their extensions, higher-rank sets. QAND and QOR (the AND and OR ofQ) are naturally noncommutative but reduce to the commutative lattice operations for the first-order part of the language. We form higher-order predicates and sets by a setting operator similar to Peano'st that forms a simple extensort = }} from any extensor. In a note added in proof, we correctQ so that a bond like {{, }} between two fermions and is a quasiboson, as the application to lattice chromodynamics strongly suggests.     

Unsharp quantum logics

The event-structure of a state-event system, containing unsharp elements, can be described either as aregular involutive bounded poset, or alternatively as anunsharp orthoalgebra (called alsodifference poset oreffect algebra). Such structures give rise to different forms ofunsharp quantum logics.