∧~*系统的公理化扩张

通过对模糊逻辑命题演算形式系统L*的代数语义——R0代数的研究,给出了R0代数簇的完整分类,并利用L*系统与幂零极小逻辑(NML)的等价性,由系统L*是可代数化逻辑出发,得到与R0代数真子簇对应的L*系统的全部公理化扩张,文中所用的方法用样适用于其他满足逆序对合关系的逻辑的扩张,具有较好的扩展性。     

L*系统的公理化扩张

通过对模糊逻辑命题演算形式系统L*的代数语义--R0 代数的研究,给出了R0代数簇的完整分类,并利用L*系统与幂零极小逻辑 (NML)的等价性,由系统L*是可代数化逻辑出发,得到与R0代数真子簇对应的L*系统的全部公理化扩张,文中所用的方法用样适用于其他满足逆序对合关系的逻辑的扩张, 具有较好的扩展性.     

中介逻辑命题演算扩张系统MP^＊的完备性

中介命题演算扩张系统MP~*,是在中介命题演算系统MP中增加了一条命题的原始联结词“(?)”而构成的。因此,关于MP~*的完备性,只需在MP的完备性结果上继续讨论。根据原始联结词(?)的意义,在MP的赋值定义中,对命题形式补充如下定义:     

基础R0-代数与基础L*系统

研究了王国俊教授建立的模糊命题演算的形式演绎系统L^*和与之在语义上相匹配的R0-代数，以及：Petr Hajek建立的模糊命题演算系统BL和BL-代数，提出了基础R0-代数和基础L^*系统的观点，讨论了基础L^*代数与BL代数，基础L^*系统与BL系统之间．的相互关系及相对独立性，讨论了基础L^*系统关于基础风一代数的完备性问题，证明了MV-代数是特殊的基础R0-代数，指出了Lukasiewicz模糊命题演算系统是基础L^*系统的扩张，最后作为基础R0-代数与基础L^*系统的一个应用，证明了L^*系统关于语义Ωw的完备性，并在将模糊命题演算系统中的推演证明转化为相应逻辑代数中的代数运算方面作了一些尝试．     

有限维代数扩张的同构与维数群

对于有限维C＊-代数A，证明了其本质扩张的同构与酉等价是一致的，由此证明了扩张群Ext（A）中的等价类是区分该类扩张代数的完全不变量，并利用Bratteli图计算出它们的维数群．     

弱^＊局部一致凸空间的一些性质

讨论了弱^*局部一致凸空间的一些等价定义和性质,以及乘积空间的弱^*凸部一致凸的传递性。     

关于R0-代数的公理系统

该文给出了R0-代数的一些简化公理系统,并证明了R0-代数等价于满足某些条件的BCK-代数.     

基础J^＊系统的一种扩张—Lukasiewicz系统

研究模糊命题演算的形式演绎系统J^*和Lukasiewicz命题演算系统Lu,提出基础系统J^*-BJ^*系统，证明BJ^*系统的一种扩张与Lukasiewicz系统之间的等价性，从而为J^*系统和BJ^*系统提供了一个应用实例。     

16种基础R0-代数结构的相对独立公理系统

在对R0-代数和基础R0-代数结构研究的基础上,讨论了基础R0-代数结构与并(交)半格及有界并(交)半格上的等价性命题系统,进而证明了16种基础R0-代数公理系统的相对独立性,同时指出了相应R0-代数结构的公理系统的相对独立性.     

Formal Axiomatic Theories Based on a Three-Valued Logic

Formal axiomatic theories based on the three-valued logic of Lukasiewicz are considered. Main notions related to these theories, in particular, those of Luk-model, Luk-consistent theory, and Luk-complete theory are introduced. Logical calculuses that describe such theories are defined; counterparts of the classical compactness and completeness theorems are proved. Theories of arithmetic based on Lukasiewicz’s logic and on its constructive (intuitionistic) variant are investigated; the theorem on effective Luk-incompleteness is proved for a large class of arithmetic systems. This theorem is a three-valued counterpart of the famous Godel theorem on incompleteness of formal theories. Three-valued counterparts of Presburger’s arithmetic system are defined and proved to be Luk-complete but incomplete in the classical sense. Bibliography: 29 titles.__________Published in Zapiski Nauchnykh Seminarov POMI, Vol. 304, 2002, pp. 19–74.     

形式演绎系统L~*中封闭理论的性质及其应用

本文在模糊命题演算的形式演绎系统L~*中引入了封闭理论的概念,讨论了封闭理论的基本性质,并利用封闭理论给出了形式演绎系统L~*的基于公式集的完备性的证明.首先,在形式演绎系统L~*中引入了封闭理论的概念,给出了理论封闭化扩张的方法;其次,在形式演绎系统L~*中引入了完全封闭理论的概念,证明了满足相关条件的完全封闭理论的存在性;第三,对形式演绎系统L~*中的封闭理论确定的同余关系性质进行了讨论,在公式集中引入了强同余关系的概念,给出了封闭理论和强同余关系相互决定的方法;第四,在形式演绎系统L~*中证明了封闭理论型L~*-Lindenbaum代数是R_0代数,并且封闭理论型L~*-Lindenbaum代数是全序的当且仅当封闭理论是完全的;最后,利用完全封闭理论型L~*-Lindenbaum代数完成了形式系统L~*完备性的证明,并改进了原有的结果.     

A Labelled Deductive System for Relational Semantics of the Lambek Calculus

We present a labelled version of Lambek Calculus without unit, and we use it to prove a completeness theorem for Lambek Calculus with respect to some relational semantics.     

凸函数的Hadamard不等式的若干推广

本文获得两个定理 ,它们均是不等式f a +b2 1b -a∫baf (x) dx f (a) +f (b)2(其中 f是 [a,b]上的连续凸函数 )的推广 .     

Axiomatic theory of convexity

The axiomatic construction of the theory of convexity proceeds from an arbitrary set M and a mapping l: M² 2^M, i.e., from a pair (M, l). It is shown that such a space of a certain type is domain finite. A condition is given which, for such spaces, implies join-hull commutativity. A connection is established between the Carathéodory number and join-hull commutativity. Conditions are given which imply a separation property of the space (M, l). Convexity spaces which are domain finite are characterized.Translated from Matematicheskie Zametki, Vol. 20, No. 5, pp. 761–770, November, 1976.     

Axiomatic characterizations of the weighted solidarity values

We define and characterize the class of all weighted solidarity values. Our first characterization employs the classical axioms determining the solidarity value (except symmetry), that is, efficiency, additivity and the A-null player axiom, and two new axioms called proportionality and strong individual rationality. In our second axiomatization, the additivity and the A-null player axioms are replaced by a new axiom called average marginality.     

Extentions between admissible representations of isometry groups of regular trees

This is the continuation of our previous work (Demir, Geom. Dedicata 105, 189–207, 2004). In this paper, we study extensions between admissible representations of the isometry groups of regular trees. We use the results of Demir, (Geom. Dedicata 105, 189–207, 2004) to show, following Schneider and Stuhler (J. Reine. Angew. Math. 436, 19–32, 1993) in the p-adic case, that extensions between admissible representations of G are finite-dimensional.     

生产函数的公理化演绎

本文系统阐述了生产函数的经济意义、数学定义 ,并且给出生产函数一个严格的数学建模 .     

Axiomatic theory of Sobolev spaces

We develop an axiomatic approach to the theory of Sobolev spaces on metric measure spaces and we show that this axiomatic construction covers the main known examples (Hajłasz Sobolev spaces, weighted Sobolev spaces, Upper-gradients, etc). We then introduce the notion of variational p-capacity and discuss its relation with the geometric properties of the metric space. The notions of p-parabolic and p-hyperbolic spaces are then discussed.