CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT

The aim of this paper is to extend the semantic analysis of tense logic in Rescher/Urquhart [3] to propositional dynamic logic without*. For this we develop a nested sequential calculus whose axioms and rules directly reflect the steps in the semantic analysis. It is shown that this calculus, with the cut rule omitted, is complete with respect to the standard semantics. It follows that cut elimination does hold for this nested sequential calculus. MSC: 03B45.     

Replenishment-Depletion Urn in Equilibrium

An urn has balls of colors C1 and C2. It is replenished (R) by balls of both colors and then depleted by (D) the same number; this constitutes a cycle. When R = D, the system is closed and equilibrium will be reached after many cycles. The ultimate distribution is found only when the replenishment is the same for each color. Asymptotic normal and asymptotic binomial distributions arise when the parameters reach extreme values. For the multicolor urn an expression is given for the correlation between the number of balls of any two colors.     

A Sequent Calculus for Propositional Dynamic Logic for Agents

We consider propositional dynamic logic for agents. For this logic, we present a sequent calculus with a restricted cut rule and prove the soundness and completeness for the calculus.     

U-标算子的连续演算

本文给出了U-标算子经连续算子演算后有界的充分条件。另外,对一给定的U-标算子T,证明了当函数μ(t)连续可导时算子μ(T)有界,但存在连续函数使得μ(T)无界。     

On a generalization of the Kalman-Yakubovic lemma

In this paper we generalize the Kalman-Yakubovic lemma to infinite dimensions—or, more precisely, to semigroups of operators over a Hilbert space. The proof differs substantially from the finite-dimensional version and is based on the Paley-Wiener-Helson-Lowdenslager factorization theorem.     

A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional Calculus

In this paper we obtain a finite Hilbert-style axiomatization of the implicationless fragment of the intuitionistic propositional calculus. As a consequence we obtain finite axiomatizations of all structural closure operators on the algebra of {–}-formulas containing this fragment. Mathematics Subject Classification: 03B20, 03B22, 06D15.     

A remark on Liouville's formula on small time scales

We present a new proof of the Liouville formula for a d-dimensional linear dynamic system xΔ=A(t)x on a time scale T, where T is in a sense small. Our proof demonstrates that Liouville's formula on small time scales is a direct consequence of its well-known counterpart for ordinary differential equations.     

Solvability of the fractional hyperbolic Keller–Segel system

We study a new nonlocal approach to the mathematical modelling of the chemotaxis problem, which describes the random motion of a certain population due to a substance concentration. Considering the initial–boundary value problem for the fractional hyperbolic Keller–Segel model, we prove the solvability of the problem. The solvability result relies mostly on fractional calculus and kinetic formulation of scalar conservation laws.     

Analysis of material instabilities in inelastic solids by incremental energy minimization and relaxation methods: evolving deformation microstructures in finite plasticity

We propose an approach to the definition and analysis of material instabilities in rate-independent standard dissipative solids at finite strains based on finite-step-sized incremental energy minimization principles. The point of departure is a recently developed constitutive minimization principle for standard dissipative materials that optimizes a generalized incremental work function with respect to the internal variables. In an incremental setting at finite time steps this variational problem defines a quasi-hyperelastic stress potential. The existence of this potential allows to be recast a typical incremental boundary-value problem of quasi-static inelasticity into a principle of minimum incremental energy for standard dissipative solids. Mathematical existence theorems for sufficiently regular minimizers then induce a definition of the material stability of the inelastic material response in terms of the sequentially weakly lower semicontinuity of the incremental variational functional. As a consequence, the incremental material stability of standard dissipative solids may be defined in terms of the quasi-convexity or the rank-one convexity of the incremental stress potential. This global definition includes the classical local Hadamard condition but is more general. Furthermore, the variational setting opens up the possibility to analyze the post-critical development of deformation microstructures in non-stable inelastic materials based on energy relaxation methods. We outline minimization principles of quasi- and rank-one convexifications of incremental non-convex stress potentials for standard dissipative solids. The general concepts are applied to the analysis of evolving deformation microstructures in single-slip plasticity. For this canonical model problem, we outline details of the constitutive variational formulation and develop numerical and semi-analytical solution methods for a first-level rank-one convexification. A set of representative numerical investigations analyze the development of deformation microstructures in the form of rank-one laminates in single slip plasticity for homogeneous macro-deformation modes as well as inhomogeneous macroscopic boundary-value problems. The well-posedness of the relaxed variational formulation is indicated by an independence of typical finite element solutions on the mesh-size.     

力学系统的扩散运动及量子化

研究位形由扩散过程定义的力学系统．利用变分的路径计算给出系统广义坐标表示的动力学方程，该方程连同连续方程描述系统量子波动随时间演化的概率进程．文末的表示定理指出，在满足适当正规条件的扩散过程和Ｓｃｈｒｄｉｎｇｅｒ方程的解（波函数）之间存在一一对应关系