格值一阶逻辑系统LF（X）中带广义量词的α-归结原理

讨论格值一阶逻辑系统LF(X)中带广义量词的α-归结,证明了带广义量词的Herbrand-定理,为格值一阶逻辑系统中带广义量词的不确定性自动推理作了理论的准备.     

格值命题逻辑系统中基于滤子的MP归结演绎

给出了格值命题逻辑系统中子句的极简规则型范式,定义了MP归结.结合格蕴涵代数中滤子的性质,对格值命题逻辑系统中基于滤予的MP归结演绎及其语义与语法性质进行了研究,证明了归结演绎的可靠性与完备性定理.为进一步研究格值逻辑的自动归结推理奠定了理论基础.     

格值命题逻辑LP(X)中不可分极简式的性质

基于格值命题逻辑LP(X)的α-归结原理及α-归结自动推理方法，能够较好地刻画具有可比较性和不可比较性的不确定性信息。LP(X)中的不可分极简式是一个非常重要的概念，本文对蕴涵运算个数小于3的不可分极简式的性质和判定方法进行了讨论，得到了一些重要结论。     

一种算子命题逻辑系统及其T-不变量推理算法

定义一种只带原子命题以及命题算子的算子命题逻辑,讨论了该逻辑的λ-归结的相容性、完备性及其若干逻辑性质。为了实现算子命题逻辑的归结推理,给出了算子命题逻辑的Petri网模型:Horn型,进一步讨论了推理算法:T-不变量算法,得到了算法的完备性定理。     

一种矩阵归结方法

提出了一种新的归结方法一矩阵归结。结合归结原理的单文字、纯文字、分裂规则以及Petri网的T-不变量归结的思想，给出了几种矩阵归结策略，证明了它们的完备性。方法简单易行，大大降低了归结的复杂性，提高了归结效率。     

逻辑系统,W,W_k中的广义语义HS规则和广义语义MP规则

研究模糊命题演算的形式演绎系统 L*及在语义上相关的修正的 Kleene逻辑系统 W,W,Wk,引入语义 [α]- MP规则 ,语义 [α+ ]- MP规则 ,语义 [α]- H S规则 ,语义 [α+ ]- H S规则等概念 ,并对这些规则的性质进行讨论 ,进一步加强该系统中的 Σ- (α-重言式 )的相应结果 ,丰富该系统中 Σ- (α-重言式 )的内容 ,为进一步研究该系统提供一个有益的工具。     

一种算子模糊逻辑系统及其Petri网推理算法

定义一种只带模糊文字以及模糊算子的模糊逻辑，讨论了该逻辑的λ-归结的相容性、完备性及其若干逻辑性质。为了实现算子模糊逻辑的归结推理，给出了算子模糊逻辑的Petri网模型：Horn型，进一步讨论了推理算法：T-不变量算法，得到了算法的完备性定理，最后用实例进行了验证。     

α-对称环

引入α-对称环的概念,讨论了它与其它相关环的关系,证明环R是α-对称环当且仅当R上的n×n上三角矩阵环T_n(R)是α-对称环;若R是α-对称环,则R[x]/(x~n)是α-对称环,其中(x~n)是由x~n生成的理想,n为任意正整数.     

L-fuzzy层双保序算子空间中的(ω_α,υ_α)-仿紧性

首先在层双保序算子空间中引进了两种(ω_α,υ_α)-仿紧性,证明了它们都是好的推广.其次,给出了它们的若干刻画与性质,并指出了它们保持若干拓扑不变性质.最后,讨论了(ω_α,υ_α)-仿紧性、(ω_α,υ_α)-分离性以及(ω_α,υ_α)-紧性之间的关系.     

L-fuzzy层拟一致结构理论

在L-拓扑空间中提出α-远域族和α-拟一致结构的概念,讨论它的一些基本性质。在此基础上证明了每一个α-拟一致结构都可以诱导出一个α-层拓扑,每个α-层拓扑空间都可以α-拟一致化。由此,进一步分析α-拟一致连续与层连续之间的关系。     

素环上的Jordan(α,α)-导子

证明了2-非挠素环上的Jordan(α,α)-导子是(α,α)-导子.     

L-拓扑空间中的α-紧度

借助于格L的蕴涵算子,在L-拓扑空间中引入了模糊集的α-紧度的概念.一个L-模糊集G是α-紧的当且仅当它的α-紧度coma(G)=(T).我们还研究了α-紧度的一系列性质.     

α-TRANSIENCE AND α-RECURRENCE FOR RANDOM WALKS AND L(E)VY PROCESSES

The authors investigate the α-transience and α-recurrence for random walks and Levy processes by means of the associated moment generating function, give a dichotomy theorem for not one-sided processes and prove that the process X is quasisymmetric if and only if X is not α-recurrent for all α＜ 0 which gives a probabilistic explanation of quasi-symmetry, a concept originated from C. J. Stone.     

L-拓扑空间的相对α-紧性

研究了L-拓扑空间的相对α-紧集.基于α-紧性,在L-拓扑空间中引入相对α-紧性的概念,得到了它的一些性质,如它是L-好的推广,对α-闭子集遗传,被α-irresolute的广义Zadeh型函数所保持等.     

L-拓扑空间中的几乎超紧L-子集

在L-拓扑空间中定义了L-子集的几乎超紧性,讨论了几乎超紧L-子集的性质以及L-子集的几乎超紧性与超紧性、近似超紧性及几乎良紧性之间的关系,给出了几乎超紧L-子集的网式及滤子刻画并证明了L-拓扑空间的几乎超紧性是几乎紧性的“L-推广”.     

Property T for Actions

We study property T for an action α of a discrete group Γ on a unital C*-algebra $$\mathscr{A}$$ . Our main results improve some well-known results about property T for groups. Moreover, we introduce Hilbert $$\mathscr{A}$$ -module property T and show that the action α has property T if and only if the reduced crossed product $$\mathscr{A}\;{\rtimes_{\alpha, r}}$$ Γ has Hilbert $$\mathscr{A}$$ -module property T.     

L-fuzzy拓扑空间中α-开运算及α-紧性

给出了L-fuzzy拓扑空间中L-fuzzyα-开运算的定义.然后借助L-fuzzyα-开运算给出L-fuzzy拓扑空间中L-fuzzyα-紧的定义;其次给出L-拓扑空间中开覆盖及fuzzyα-紧的定义;并分别得到了一些相关性质;最后讨论了L-fuzzy拓扑空间中L-fuzzyα-紧与L-拓扑空间中fuzzyα-紧之间的关系.     

Sequential tests on a multinomial distribution and a Markov chain

In an earlier paper, a sequential test of the equality of probabilities in a multinomial distribution was proposed, and compared to fixed sample size tests in the special case of two categories. In the present paper, the test is generalized to testing any simple hypothesis about a multinomial distribution, and compared to fixed sample size tests when the number of categories is large. The method of construction of the test is used to construct tests with precisely the desired level of significance, for multinomial and other problems, including Markov chains.     

α-FUZZY PAIRWISE RETRACT OF L-VALUED PAIRWISE STRATIFICATION SPACES

The notion of a fuzzy retract was introduced by Rodabaugh (1981). The notion of a fuzzy pairwise retract was introduced in 2001. Some weak forms and some strong forms of α-continuous mappings were introduced in 1988 and 1997. The authors extend some of these forms to the L-fuzzy bitopological setting and construct various α-fuzzy pairwise retracts. The concept of weakly induced spaces in the case L = [0, 1] was introduced by Martin (1980). Lin and Luo (1987) generalized this notion to the case that L is an arbitrary F-lattice and introduced the notion of induced L-fts. Several results are obtained, especially, for L-valued pairwise stratification spaces.