The Lattice of Deductive Systems on Hilbert Algebras

The concept of deductive system on a Hilbert algebra was introduced by A. Diego. We show that the set Ded A of all deductive systems on a Hilbert algebra A forms an algebraic lattice which is distributive.AMS Classification (2000): 06F35, 03G25, 08A30     

An Implication in Orthologic

We involve a certain propositional logic based on an ortholattice. We characterize the implication reduct of such a logic and show that its algebraic counterpart is the so-called orthosemilattice. Properties of congruences and congruence kernels of these algebras are described. This article was prepared under the support of Czech Government Council No. 314/98:153100011. MS classification: 06C15, 03G25, 08A30     

Thermal-energy charge transfer of Ar+ with H2O: Internal and kinetic energy of the product H2O+

The reaction of Ar⁺ with H₂O has been investigated at near-thermal energy. The product ions H₂O⁺ and ArH⁺ account for 90 and 10% of the total reaction rate, respectively. Kinetic energy measurements and emission spectroscopy of the H₂O⁺ product ions are reported. It is concluded that at least 60% of H₂O⁺ ions are in the X? state with ≈2.4 eV vibrational energy while up to 40% are in the à state with a mean vibrational energy of 1.4 eV; the à state vibrational distribution has been determined. It is shown that both H₂O⁺ states are populated via an energetically “non-resonant” charge transfer process.