Probabilism,entropies and strictly proper scoring rules

Accuracy arguments are the en vogue route in epistemic justifications of probabilism and further norms governing rational belief. These arguments often depend on the fact that the employed inaccuracy measure is strictly proper. I argue controversially that it is ill-advised to assume that the employed inaccuracy measures are strictly proper and that strictly proper statistical scoring rules are a more natural class of measures of inaccuracy. Building on work in belief elicitation I show how strictly proper statistical scoring rules can be used to give an epistemic justification of probabilism.An agent's evidence does not play any role in these justifications of probabilism. Principles demanding the maximisation of a generalised entropy depend on the agent's evidence. In the second part of the paper I show how to simultaneously justify probabilism and such a principle. I also investigate scoring rules which have traditionally been linked with entropies.     

ON THE INCOMPLETENESS OF A DESCENDING CHAIN OF EXTENSIONS OF IMPLICATIONAL S5

C5.ω is obtained by adding, schematically, to the strict-implicational fragment C5 of S5 the axiom ((p → q) → (q → p)) → (q → p). This paper presents a fully general proof that neither C5.ω nor any of a descending chain of its extensions is complete with respect to any class of frames, correcting the garbled details of a version skeched in an earlier paper (same Zeitschrift 31 (1985), 201-208).     

无严格互补松驰条件的序列线性方程组新算法

该文通过构造特殊形式的有效集来逼近KKT点处的有效集，给出了一个任意初始点下的序列线性方程组新算法，并证明了该算法在没有严格互补松驰条件的情况下具有全局收敛性和一步超线性收敛性。      

The variational Lyapunov function and strict stability theory for differential systems

In this paper, we investigate strict stability of differential systems by variational Lyapunov function. We obtain some sufficient conditions and comparison theorems.     

反超图的笛卡儿积的上色数

讨论反超图的笛卡儿积的着色理论 ,求出了满足一定条件的反超图的笛卡儿积的上色数 .     

Strict Stability of Impulsive Differential Equations

In this paper, we will extend the strict stability to impulsive differential equations. By using Lyapunov functions, we will get some criteria for the strict stability of impulsive differential equations, and we can see that impulses do contribute to the system＇s strict stability behavior. An example is also given in this paper to illustrate the efficiency of the obtained results.     

Superized Troesch complexes and cohomology for strict polynomial superfunctors

We adapt a construction due to Troesch to the category of strict polynomial superfunctors in order to construct complexes of injective objects whose cohomology is isomorphic to Frobenius twists of the (super)symmetric power functors. We apply these complexes to construct injective resolutions of the even and odd Frobenius twist functors, to investigate the structure of the Yoneda algebra of the Frobenius twist functor, and to compute other extension groups between strict polynomial superfunctors. By an equivalence of categories, this also provides cohomology calculations in the category of left modules over Schur superalgebras.     

关于一族有限ξ严格伪压缩映射不动点问题和平衡问题混合投影下的强收敛性

为找到一族有限ξ严格伪压缩映射不动点集及平衡问题解集的公共元素,该文利用两种混合投影方法引入了一种迭代方案,且在给与参数适当的假设下,作者得到了两个强收敛性定理.     

On a nonlocal problem for semilinear differential equations with upper semicontinuous nonlinearities in general Banach spaces

Sufficient conditions on the existence of mild solutions for the following semilinear nonlocal evolution inclusion with upper semicontinuous nonlinearity: u^′(t)∈A(t)u(t)+F(t,u(t)), 0<t?d, u(0)=g(u), are given when g is completely continuous and Lipschitz continuous in general Banach spaces, respectively. An example concerning the partial differential equation is also presented.     

Feasibility-Solvability Theorem for a Generalized System

In this paper, we consider a generalized system in the framework of the formulation proposed by Blum and Oettli. The concepts of feasibility and strict feasibility are introduced for a generalized system and a feasibility-solvability theorem is obtained. This work was supported by the Foundation for Young Teacher in Sichuan University (07069), the National Natural Science Foundation of China (10826064, 10671135) and the Specialized Research Fund for the Doctoral Program of Higher Education (20060610005). The authors thank Professor L.D. Muu (Hanoi) and the referee for valuable comments and suggestions which lead to improvements of this paper.