局部R0-代数

文提出了局部R₀-代数的概念,并给出了相应的等价条件,即(i)R₀-代数L是局部的,(ii) ?x∈L,ord(x)<∞或ord(-x)<∞,(iii)每一个真滤子是primary.另外,我们又证明了任一R₀-代数是局部R₀-代数的子直积.     

关于格上蕴涵代数及其对偶代数

给出了格蕴涵代数、MV代数、R₀代数等一些格上蕴涵代数之间的关系,并建立了它们的对偶代数.其结果描述了这些代数内部结构的特征,同时也为从语义的角度进一步研究格值逻辑系统提供了一个新的途径.     

R_0代数上的monadic算子

本文引入了monadic算子,定义和研究了monadic R_0代数。在此基础上定义了monadic滤子和monadic同余,探讨了monadic滤子和monadic同余之间的一一对应关系。在monadic R_0代数的全体monadic滤子集上引入了格运算和伴随对,证明了这样定义的monadic滤子格构成一个Heyting代数。通过例子说明了monadic R_0代数未必构成monadic剩余格。最后给出了monadic R_0代数形成monadic剩余格的一个条件。     

分式R_0代数及R_0代数上的Gabriel滤子

引进了相对于交闭系统的分式R0代数的概念,井研究了R0代数上的Gabriel滤子,证明该滤子可以确定R0代数上的一种同余关系,为进一步研究局部化R0代数奠定了基础.     

R_0-代数的几类犹豫模糊滤子

把犹豫模糊集理论应用在R_0-代数上,给出R_0-代数的犹豫模糊MP滤子、犹豫模糊素MP滤子、犹豫模糊蕴涵滤子的概念,讨论R_0-代数上这几类犹豫模糊滤子的性质以及它们之间的等价刻画。     

强De Morgan代数上的广义R0 t-模

在De Morgan代数上引入广义R0算子,举例说明了一般De Morgan代数中的广义R0算子不能构成t-模。引入强De Morgan代数的概念,讨论它的基本性质,证明强De Morgan代数L上的广义R0算子构成t-模(称为广义R0t-模)。给出若干重要反例,并证明强De Morgan代数上的广义R0t-模是左连续的。     

剩余格上的一类模糊滤算子及其应用

在剩余格上引入了模糊滤算子,讨论了它的一些性质。特别地,将这类算子应用到EQ-代数研究中,给出了格EQ-代数和好的EQ-代数的模糊滤算子刻画,分离的EQ-代数的模糊自同态算子刻画。     

粗糙集理论在伪BCK代数上的应用

本文把粗糙集理论应用到伪BCK代数, 作为伪BCK代数的推广, 给出了类代数近似空间上粗伪BCK代数、粗子代数和粗伪滤子的概念, 并讨论了它们的一些相关性质. 进一步研究了伪BCK 代数近似空间上粗子代数和粗伪滤子. 最后给出了几个伪BCK代数、伪滤子和子代数的验证程序.     

R_0-代数的Stone拓扑表示定理

研究R0-代数中极大滤子的结构性质,通过引入有限平方交性质的概念证明了素理想定理;在全体极大滤子之集上引入了Stone拓扑,研究了Stone空间的性质;在R0-代数中引入了Boole-元的概念,证明了R0-代数的Stone拓扑表示定理,即,全体Boole-元作为Boole代数同构于该R0-代数的Stone空间中的全体既开又闭子集构成的Boole代数。Boole代数的Stone拓扑表示定理可作为该表示定理的特例而给出。     

R_0-代数的扰动模糊子代数和扰动模糊MP滤子

把扰动模糊集理论应用在R_0-代数上,给出R_0-代数的扰动模糊子代数,扰动模糊MP滤子的概念,讨论R_0-代数上扰动模糊子代数的等价刻画和扰动模糊MP滤子的若干性质;研究了扰动模糊MP滤子的同态像和逆像。     

R 0-algebras and weak dually residuated lattice ordered semigroups

We introduce the notion of weak dually residuated lattice ordered semi-groups (WDRL-semigroups) and investigate the relation between R ₀-algebras and WDRL-semigroups. We prove that the category of R ₀-algebras is equivalent to the category of some bounded WDRL-semigroups. Moreover, the connection between WDRL-semigroups and DRL-semigroups is studied.     

On BF-algebras

In this paper we introduce the notion of BF-algebras, which is a generalization of B-algebras. We also introduce the notions of an ideal and a normal ideal in BF-algebras. We investigate the properties and characterizations of them.      

Error Bounds for R0-Type and Monotone Nonlinear Complementarity Problems

The paper generalizes the Mangasarian–Ren (Ref. 1) error bounds forlinear complementarity problems (LCPs) to nonlinear complementarity problems(NCPs). This is done by extending the concept of R ₀-matrixto several R ₀-type functions, which include a subset ofmonotone functions as a special case. Both local and global error bounds areobtained for R ₀-type NCPs and some monotone NCPs.     

Anti-Wick Symbols for Infinite Products in K-Homology

We consider infinite products in K-homology. We study these products in relation with operators on filtered Hilbert spaces, and infinite iterations of universal constructions on C*-algebras. In particular, infinite tensor power of extensions of pseudodifferential operators on R are considered. We extend anti-Wick pseudodifferential operators to infinite tensor products of spaces of the type L ²(R), and compare our infinite tensor power construction with an extension of pseudodifferential operators on R . We show that the K-theory connecting maps coincide. We propose a natural definition of ellipticity for anti-Wick operators on R, compute the corresponding index, and draw some consequences concerning these operators.     

基础R0-代数的性质及在L*系统中的应用

研究了王国俊教授建立的模糊命题演算的形式演绎系统L^*和与之在语义上相关的R₀-代数,提出了基础R₀-代数的观点并讨论了其中的一些性质,在将L^*系统中的推演证明转化为相应的R₀-代数中的代数运算方面作了一些尝试,作为它的一个应用,证明了L^*系统中的模糊演绎定理。     

关于R0 -代数的公理系统

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

Local bounded commutative residuated ℓ-monoids

Bounded commutative residuated lattice ordered monoids (Rℓ-monoids) are a common generalization of, e.g., BL-algebras and Heyting algebras. In the paper, the properties of local and perfect bounded commutative Rℓ-monoids are investigated.     

Interior and closure operators on bounded residuated lattice ordered monoids

GMV-algebras endowed with additive closure operators or with its duals-multiplicative interior operators (closure or interior GMV-algebras) were introduced as a non-commutative generalization of topological Boolean algebras. In the paper, the multiplicative interior and additive closure operators on DRl-monoids are introduced as natural generalizations of the multiplicative interior and additive closure operators on GMV-algebras.     

Bounded and Unitary Elements in Pro-C*-algebras

A pro-C*-algebra is a (projective) limit of C*-algebras in the category of topological *-algebras. From the perspective of non-commutative geometry, pro-C*-algebras can be seen as non-commutative k-spaces. An element of a pro-C*-algebra is bounded if there is a uniform bound for the norm of its images under any continuous *-homomorphism into a C*-algebra. The *-subalgebra consisting of the bounded elements turns out to be a C*-algebra. In this paper, we investigate pro-C*-algebras from a categorical point of view. We study the functor (−) _b that assigns to a pro-C*-algebra the C*-algebra of its bounded elements, which is the dual of the Stone-Čech-compactification. We show that (−) _b is a coreflector, and it preserves exact sequences. A generalization of the Gelfand duality for commutative unital pro-C*-algebras is also presented.     

TheK-theory of AF embeddings of the rational rotation algebras

Our main result is the construction of an embedding ofC(T²) into an approximately finite-dimensionalC ^*-algebra which induces an injection onK ₀(C(T²)). The existence of this embedding implies that Cech cohomology cannot be extended to a stable, continuous homology theory forC ^*-algebras which admits a well-behaved Chern character. Homotopy properties ofC ^*-algebras are also considered. For example, we show that the second homotopy functor forC ^*-algebras is discontinuous. Similar embeddings are constructed for all the rational rotation algebras, with the consequence that none of the rational rotation algebras satisfies the homotopy property called semiprojectivity.