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     

Numerical and theoretical study of a Dual Mesh Method using finite volume schemes for two phase flow problems in porous media

Summary. In this paper we are interested in two phase flow problems in porous media. We use a Dual Mesh Method to discretize this problem with finite volume schemes. In a simplified case (elliptic - hyperbolic system) we prove the convergence of approximate solutions to the exact solutions. We use the Dual Mesh Method in physically complex problems (heterogeneous cases with non constant total mobility). We validate numerically the Dual Mesh Method on practical examples by computing error estimates for different test-cases. Received March 21, 1997 / Revised version received October 13, 1997     

Vibrational spectra of (NH4)3ZnCl5

IR and Raman spectra of (NH₄)₃ZnCl₅ have been recorded. The observed spectra have been analysed on the basis of the vibrations of ZnCl ₄ ²⁻ and NH ₄ ⁺ ions. The appearance of multiple Raman bands indicates the presence of two different types of ammonium ions. The effect of anisotropic crystalline field over the ZnCl₄ and NH₄ tetrahedra is also discussed. The assignment of internal modes has been verified by the potential energy distribution calculations.     

Mössbauer study of small amounts of iron in graphite,around the diamond-graphite pressure-temperature stability region

An exploratory Mössbauer spectroscopy study of the Fe-C system in the C rich region, prepared by high pressure-high temperature treatment near the graphite-diamond stability line, was made. The results obtained for the different processing conditions give no evidence of Fe intercalation in graphite. The presence of some water in the cell produced hydrated Fe complexes, which can explain the deleterious effect of water or hydrogen in the high pressure diamond synthesis.     

Synthesis and properties of Hg-based high-T c superconductors

Il Nuovo Cimento D - The formation of Hg-based HTSC materials was investigated through the development of non-conventional techniques. The former was based on a singlestep synthesis at temperatures...     

Charge screening in valence band of solids and in the Fermi sea. Origin of weak-boson masses

Summary An attempt is made to explain the masses of Z and W^± bosons by means of a screening mechanism analogous to charge screening in metals. It considers the effect of the electroweak force on the distribution of negativekinetic-energy neutrinos, which fills the whole universe (neutrino Fermi sea). The large weak-boson masses appear to be a direct consequence of the vanishing neutrino mass.     

Traveling-wave solutions and their application to inverse problems of sorption dynamics

Translated from Matematicheskie Modeli i Optimizatsiya Vychislitel'nykh Algoritmov, pp. 67–74, 1994.     

Monitoring of electromagnetic fields in the environment. II. Fluctuations in the parameters of atmospheric electricity

The problems of determining and investigating the informative parameters of atmospheric electricity are discussed. It is shown that short-period variations in atmospheric electricity are ecologically significant. An automated system for monitoring atmospheric electricity and a method of processing the results of measurements are described. V. D. Kuznetsov Siberian Physicotechnical Institute, Tomsk State University. Translated from Izvestiya Vysshikh Uchebnykh Zavedenii, Fizika, No. 5, pp. 88–98, May, 1998.