Quantale与互模拟的进程语义

以特定的观察为生成元构造了互模拟quantaleQ_B,而将进程作为此quantale上的模的组成成分,由此给出了互模拟的三个完备性准则,回答了AbrasmkyS与VickersS．提出的公开问题（1993）,完备了他们利用quantale统一处理进程语义的方法．     

Quantale中的模糊滤子

在Quantale中引入模糊滤子的概念,研究了它的一系列性质,得到了若干等价刻画,讨论了Quantale中滤子和模糊滤子之间的相互确定关系,证明了Quantale态射既保模糊滤子又反射模糊滤子。给出了模糊滤子在Quantale态射下的像的具体结构。     

Quantale矩阵的合成

给出Q uan tale矩阵的几类合成运算,并且讨论了合成运算的一系列好的性质。     

QUantale中的闭滤子

在Quantale中讨论了与Gabriel拓扑密切关联的闭滤子,给出了闭滤子与闭映射之间的相互确定关系．证明了凝聚左侧Quantale Q的闭滤子全体F(Q)在包含序下构成Frame,并且Q的紧闭滤子全体Fc(Q)是F(Q)的子Frame．最后,证明了凝聚双侧交换Quantale的紧闭滤子全体在包含序下构成Coherent Frame．     

Quantah的连通性

The concepts of connectedness and locally connectedness is introduced for right-side idempotent quantales. Some properties of connected quantale are studied, and then the equivalent characterization of connected quantale is also given.     

Quantale上的理想余核

讨论Quantale理想与Quantale上映射之间的关系,同时给出Quantale上一个映射是理想余核的等价条件。     

Locale的弱拓扑表达

本文引入了弱拓扑空间的概念,证明了locale范畴与弱拓扑空间范畴的关系类似于拓扑空间范畴与locale范畴的关系。locale范畴严格包含于弱拓扑空间范畴并且与Sober的弱拓扑空间范畴等价。     

����Ԫ���������������ķ��䵹�����΢�ַ�������Ԫ�ı�ʾ����

In this paper, we establish a local representation theorem for generators of reflected backward stochastic differential equations (RBSDEs), whose generators are continuous with linear growth. It generalizes some known representation theorems for generators of backward stochastic differential equations (BSDEs). As some applications, a general converse comparison theorem for RBSDEs is obtained and some properties of RBSDEs are discussed.     

关于模糊复数的两个表现定理

给出模糊复数的两个表现定理。     

Fuzzy拓扑范畴的经典表示

构造范畴WPC，论证它与拓扑分子格范畴CDB等价；并在此基础上阐述经典拓扑范畴TOP是范畴WPC的满子范畴，为研究经典拓扑学与Fuzzy拓扑学之间联系提供一点思路。     

Vague集的表现定理

在Fuzzy集理论和现有Vague集理论的基础上,引入二元集合套的概念,讨论它的代数性质。在此基础上,结合Vague集的分解定理,建立Vague集的表现定理,同时得到一系列相关结果,进一步揭示Vague集与经典集合之间的联系。     

Cut‐elimination Theorems for Some Infinitary Modal Logics

In this article, a cut‐free system TLM_ω1 for infinitary propositional modal logic is proposed which is complete with respect to the class of all Kripke frames.The system TLM_ω1 is a kind of Gentzen style sequent calculus, but a sequent of TLM_ω1 is defined as a finite tree of sequents in a standard sense. We prove the cut‐elimination theorem for TLM_ω1 via its Kripke completeness.     

On Preservation Theorems for Two-Variable Logic

We show that the existential preservation theorem fails for two-variable first-order logic FO². It is known that for all k ≥ 3, FO^k does not have an existential preservation theorem, so this settles the last open case, answering a question of Andreka, van Benthem, and Németi. In contrast, we prove that the homomorphism preservation theorem holds for FO².     

An index formula for the product of linear relations

Let , and be linear spaces and let A and B be linear relations from to and from to , respectively. The main result of this note is a formula which relates the nullities and the defects of the relations A and B with those of the product relation BA.     

Set-valved Markov Processes and Their Representation Theorems

Ｓｅｔ－ｖａｌｖｅｄＭａｒｋｏｖＰｒｏｃｅｓｓｅｓａｎｄＴｈｅｉｒＲｅｐｒｅｓｅｎｔａｔｉｏｎＴｈｅｏｒｅｍｓＸｕＭｉｎｇｙｕｅ（徐明跃）（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＨａｖｅｎＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ，Ｈａｒｂｉｎ，１５...     

Corrigendum to: Representation Theorems for d-Multiplications on Archimedean f-Rings

In this note we intend to correct a misprint in our earlier article on representation of d-multiplications on Archimedean f-rings.     

Fixed-Point Theorems for Generalized Nonexpansive Mappings

Using the concept of asymptotic center we obtain the existence of fixed points having preassigned location for a wider class of asymptotic nonexpansive mappings in a uniformly convex Banach space. This generalization leads us to get a recent result of Alfuraidan and Khamsi for continuous monotone asymptotic nonexpansive mappings as well as the classical fixed-point result of Geobel and Kirk for asymptotic nonexpansive mappings in a uniformly convex Banach space. Also we prove a fixed-point theorem for order preserving continuous maps on a quasiordered closed convex subset of a uniformly convex Banach sapce having monotone norm.