Sequent calculi for propositional star-free likelihood logic

We consider classical, multisuccedent intuitionistic, and intuitionistic sequent calculi for propositional likelihood logic. We prove the admissibility of structural rules and cut rule, invertibility of rules, correctness of the calculi, and completeness of the classical calculus with respect to given semantics.__________Published in Lietuvos Matematikos Rinkinys, Vol. 45, No. 1, pp. 3–21, January–March, 2005.     

Doppler cooling a single Ca+ ion with a violet extended-cavity diode laser

We present a scheme for employing a violet extended-cavity diode laser in experiments with single, trapped ions. For this the grating-stabilised laser is spatially and spectrally filtered and referenced to a Fabry–Pérot cavity. We measure an upper limit to the line width by observing a 305-kHz FWHM beat note with the second harmonic of a titanium sapphire laser. The laser is subsequently used to optically cool a single ⁴⁰Ca⁺ ion close to the Doppler limit. PACS 03.67.Lx; 32.80.Pj; 42.55.Px     

Energy spectrum of <Emphasis Type="Italic">p</Emphasis> electrons in a plane crystal lattice and in a strong magnetic field

Harper equations are derived for a _px, _py electronic system. Analysis is carried out for extreme points of the quasi-continuous spectrum in the cases when the number of magnetic flux quanta through a unit cell is a rational number and calculations are made for square and triangular lattices as well as for a honeycomb lattice with two nonequivalent atoms. The possibility of application of the results for explaining the fractional Hall effect is considered.     

Optical spectroscopy of single InAs/InP quantum dots around λ=1.55 μm

We discuss the preparation and spectroscopic characterisation of a single InAs/InP quantum dot suitable for long-distance quantum key distribution applications around λ=1.55 μm. The dot is prepared using a site-selective growth technique which allows a single dot to be deposited in isolation at a controlled spatial location. Micro-photoluminescence measurements as a function of exciton occupation are used to determine the electronic structure of the dot. Biexciton emission, shell filling and many-body re-normalization effects are observed for the first time in single InAs/InP quantum dots.     

Generation of angular momentum of fission fragments in a cluster model

Based on the dinuclear system concept, the role of bending vibrations in creation of the angular momentum of primary fission fragments is investigated. For ²⁵²Cf spontaneous fission, the angular momenta of the fragments are calculated as a function of the neutron multiplicity and compared with available experimental data. Different cluster compositions of the ²⁵²Cf fission modes at the scission point are considered.     

Ferrocenyl-substituted fluorescent anthracenes and anthraquinones

The synthesis of a range of ferrocene-substituted ethynylanthracenes and 1,1^′-(bis-(2-ethenylanthraquinoyl)ferrocene has been achieved. The synthesis relies on the production of ferrocenylanthraquinones as key precursors. The products were obtained in the reactions of ferrocenylanthraquinones with phenylethynyllithium or trimethylsilylethynyllithium followed by reduction with tin chloride. The key products such as 1- and 2-ferrocenyl(9,10-bis-phenylethynyl)anthracenes have been characterised by X-ray single crystal diffraction.     

Some 3-manifolds with 2-generated fundamental group

We describe a family of graph manifolds that have 2-generated fundamental group but do not admit a Heegaard splitting of genus 2. They are closely related to the examples provided by Boileau and Zieschang if these are considered as (non-proper) graph manifolds.Received: 14 August 2002     

Justification of Averaging Method for Multifrequency Impulsive Systems

We prove new theorems on the justification of the averaging method for multifrequency oscillation systems with pulse influence at fixed times.     

Relaxor properties of Fe-doped TlInS<Subscript>2</Subscript>

The relaxor properties of Fe-doped TlInS₂ crystals are investigated. It is shown that Fe-doped TlInS₂ compounds exhibit all features inherent in relaxor ferroelectric materials. The temperature range of existence of the microdomain (relaxor) state and the temperature of the transition from this state to a macro-domain state are determined.