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     

An image system and surface singularity solutions for potential flow past an elliptical cylinder

The Milne-Thomson circle theorem is extended to give a simplegeneral expression for the image system in an elliptical cylinderintroduced into an otherwise specified unbounded potential flowwhich contains no singularities in the region to be occupiedby the ellipse. This image system is used to obtain an expressionfor the corresponding source-sink surface singularity distributionon the ellipse, thus providing new benchmark test cases forsource-sink solutions as obtained numerically by a panel method.Several typical examples are given to illustrate the generaltheoretical approach.