Models of linear logic

We engage a study of nonmodal linear logic which takes times ⊗ and the linear conditional ⊸ to be the basic connectives instead of times and linear negation ()^⊥ as in Girard's approach. This difference enables us to obtain a very large subsystem of linear logic (called positive linear logic) without an involutionary negation (if the law of double negation is removed from linear logic in Girard's formulation, the resulting subsystem is extremely limited). Our approach enables us to obtain several natural models for various subsystems of linear logic, including a generic model for the so-called minimal linear logic. In particular, it is seen that these models arise spontaneously in the transition from set theory to multiset theory. We also construct a model of full (nonmodal) linear logic that is generic relative to any model of positive linear logic. However, the problem of constructing a generic model for positive linear logic remains open. Bibliography: 2 titles. Published inZapiski Nauchnykh Seminarov POMI, Vol. 220, 1995, pp. 23–35. Original     

A comparative investigation of the fatty acid compositions of the seeds of a number of lines of a genetic collection of Gossypium hirsutum

A comparative analysis has been made of the amounts of lipids and their fatty-acid compositions in the seeds of the lines of agenetic collection of cotton plants of the speciesGossypium hirsutum and their hybrids and the variety Tashkent-1. The results obtained on the fatty-acid compositions of some hybrids make it possible to recommend the use of individual lines of cotton plants as donors for improving the food-value indices of cottonseed oil.Institute of Chemsitry of Plant Substances, Academy of Sciences of the Uzbek SSR, Tashkent. V. I. Lenin Tashkent State University. Translated from Khimiya Prirodnykh Soedinenii, No. 2, pp. 173–176, March–April, 1991.     

Quantitative Analysis of Long Chain Fatty Acids Present in a Type I Kerogen Using Electrospray Ionization Fourier Transform Ion Cyclotron Resonance Mass Spectrometry: Compared with BF3/MeOH Methylation/GC-FID

Long chain fatty acids (LCFAs) are present in various natural samples and are easily detectable using electrospray ionization Fourier transform ion cyclotron resonance mass spectrometry (ESI-FT-ICR-MS) in negative ion mode. The capability of the ESI-FT-ICR-MS for quantifying LCFAs was evaluated by performing a standard addition followed by an internal standard methodology to several kerogen extracts using n-C₂₀ fatty acid as standard. As the concentration of the standard increased, the magnitude of its peak (m/z 311.29525) increased linearly but with two separate slopes, leaving the entire mass spectra relatively unchanged, which shows evidence of reproducibility. Response factors of other LCFAs are obtained using a standard addition approach. We employed five LCFA standards (n-C₁₅, n-C₁₉, n-C₂₄, n-C₂₆, and n-C₃₀) with different carbon numbers. This allowed us to determine the response factor of all fatty acids (with carbon number between 15 and 30) by plotting the slope of each standard versus its carbon number. With the observed response factors and use of the internal standard, the concentrations of LCFAs in four kerogen extracts were measured by ESI-FT-ICR-MS and compared with those from GC-FID. The carbon number distribution obtained by ESI-FT-ICR-MS matched well the GC-FID distribution (5%–50%) with the exception of C₁₆ and C₁₈, considering that ESI-FT-ICR-MS does not differentiate between normal and branched LCFAs, whereas GC-FID does. This allows one to quantitatively compare samples with a relatively similar matrix for specific compounds such as LCFAs with no need of time-consuming derivatization procedures. Moreover, the calibration can be extended to higher carbon numbers with ESI-FT-ICR-MS, beyond the capabilities of GC/MS.

高能核碰撞中带电多重数快度与能量和中心度的关系

用强子–弦级联模型JPCIAE及相应的Monte Carlo事例产生器研究相对论性核–核碰撞中带电粒子多重数的赝快度密度对能量和中心度的依赖关系.无需另调任何模型参数的条件下,此模型可以同时较好地描述相对论性pp实验数据及PHOBOS和PHENIX实验组的Au+Au实验数据.本文指出:因〈N_part〉并非严格定义的物理量,致使实验上和理论上确定〈N_part〉有一定任意性,从而使得每参加者核子对的带电粒子赝快度密度随着〈N_part〉的增加可能逐渐增大,也可能逐渐减小,因此用它来区分粒子产生机制是欠妥的.