关于MV-代数的模糊理想和超积

首先建立MV-代数的模糊理想和超积的概念，在此基础上进一步讨论它们的基本性质。     

超积拓扑有序域

N.Bourbaki学派把数学定义为研究数学结构的科学。超积是纯集合论的东西,但它在模型论中占有举足轻重的地位,本文在超积中引进常见的三种数学结构,并讨论了与之有关的相容性和嵌入问题。本质上给出了超实数有序域理论[1]的自然而相当广泛的一种推广。我们先从介绍下列概念开始,称五元组(G,+,·,≤,)是拓扑域,是指:集G中的代数结构+与·;序结构≤;拓扑结构     

超积空间及其性质

引进了和内积空间没有相互包含关系的一类新空间:超积空间,进而研究了超积空间的性质.这类新的线性空间具有许多内积空间的重要性质,从而得到了线性空间一类新的度量刻画.     

直觉模糊有限状态机的积

利用代数方法给出直觉模糊有限状态机的直觉笛卡尔积、直觉直积、直觉限制直积、直觉圈积、直觉级联积构造方法,并且讨论了它们的代数性质,同时探讨了直觉模糊有限状态机的直觉限制直积的覆盖,级联积的可分离的,以及利用直觉模糊变换半群探索了直觉圈积的结合性.     

拟BCK-代数的扰动模糊理想

引入了拟BCK-代数的扰动模糊理想的概念,刻画了拟BCK-代数的扰动模糊理想的特征;给出拟BCK-代数上的一个扰动模糊集成为扰动模糊理想的条件;构造了由给定扰动模糊集生成的最小扰动模糊理想;研究了拟BCK-代数的扰动模糊理想的同态性质。     

超球级数Hadamard乘积的增长性质

研究了超球级数的Hadamard积的性质,得出了超球级数Hadamard积成正规增长的条件.     

软BCK-代数的模糊理想

将模糊集理论应用到软BCK-代数中,引入了软BCK-代数的模糊理想,并获得了它的基本性质。然后,讨论了BCK-代数的模糊理想在同态下的像和逆像的性质。最后,通过软同态概念的引入,给出了软BCK-代数的模糊同构定理。     

BCK-代数的(∈,∈) ((∈,∈∨ q),(∈-,(∈- ∨(q-))-模糊蕴涵理想

应用模糊点和模糊集间的关系,给出BCK-代数(∈,∈)((∈,∈∨q),(∈-),(∈- ∨(q-))-模糊蕴涵理想的定义,描述了BCK-代数的(∈,∈)-模糊蕴涵理想与模糊理想,模糊子代数间的关系,研究了BCK-代数的模糊子集为(∈,∈)((∈,∈∨q),((∈-,(∈- ∨(q-))-模糊蕴涵理想的充要条件.     

直觉模糊有限自动机的乘积

给出了直觉模糊有限自动机的广义直积、级联积和圈积及覆盖的定义,讨论了直觉模糊有限自动机在同构意义下级联积和圈积满足结合性以及各种乘积之间的覆盖关系。     

超Broer-Kaup-Kupershmidt族的双非线性化

得出了超Broer-Kaup- Kupershmidt族Lax对的对称约束及其双非线性化.在得到的对称约束F,把超Broer- Kaup-Kupershmidt族的n阶流分解成定义在对应于动力变量x和tn的超对称流形上的两种超有限维可积Hamilton系统.此外,显式给出了Liouville可积性所需的运动积分.     

关于BCK代数的模型论性质

This paper is devoted to the study of the logical properties of BCK algebras. For formalized BCK algebra theory T, it is proved that T is preserved under submodels and unions of chains; T is neither complete nor model complete, and hence there exist no built-in Skolem function. Moreover, the ultraproduct BCK algebras and the fuzzy ultraproduct of fuzzy subsets of BCK algebras were proposed by using the concept of ultrafilters with corresponding properties of fuzzy ideals discussed.     

A Łoś type theorem for linear metric formulas

We define an ultraproduct of metric structures based on a maximal probability charge and prove a variant of ?o? theorem for linear metric formulas. We also consider iterated ultraproducts (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

BCK-代数的模糊代数理想

在有界可换BCK-代数上引入了Fuzzy代数理想的概念,给出了Fuzzy代数理想的某些特征,讨论了Fuzzy理想与Fuzzy代数理想的关系。最后描述了全体Fuzzy集的BCK-代数特征。     

Fuzzy Order Filters in Adjoint Semigroups of BCK-Algebras

In this paper, we introduce the notion of fuzzy order filters in adjoint semigroups of BCK-algebras. We prove that there is a bijection between the fuzzy ideals of BCK-algebras X and the fuzzy order filters in the adjoint semigroup M(X) of X.AMS Subject Classification (2000) 06F35 03G25 20M10     

关于模糊质BCK-滤子

建立了模糊质 BCK-滤子定理 :设 X是一个有界可换 BCK-代数 ,F是 X的一个真模糊 BCK-滤子 ,并且 f ( 1 )是 X的一个∨ -封闭的模糊集 .如果 F≤ f且 M={μ∈ FF(X) |F≤μ≤f}则 M包含一个关于≤的极大元 P满足 (1 ) P是一个质模糊 BCK-滤子 ,(2 ) F≤ P≤f .     

On some computational algorithms forn-fold ideals in BCK-algebras

This paper is devoted to thefoldness theory of implicative ideals in BCK-algebras. We use the fuzzy point concept to give some characterizations of fuzzyn-fold implicative ideals and establish some relationships with variousn-fold ideals. We also construct some algorithms for studying the foldness of implicative ideals in BCK-algebras.     

Properties of ultraproducts

A direct proof is given of the completeness of ultraproduct spaces when the factor spaces are Banach spaces. The method of proof also shows the completeness of the ultraproduct even when the factor spaces are not complete for many (possibly all) ultrafilters. It is also shown that ultraproduct spaces are separable only when they are finite dimensional.     

赋范BCK-代数(英文)

引入了BCK-代数的范数与距离的概念,给出了赋范BCK-代数的一些基本性质,证明了赋范BCK-代数的同构(同态)像和原像仍是赋范BCK-代数,研究了BCK-代数与BCK-代数笛卡儿之间的赋范性质关系.并且引入了赋范BCK-代数的点列极限概念,研究了极限的相关性质.讨论了有界赋范BCK-代数的与模糊BCK-代数的关系.     

On the Adjoint Monoids of Implicative BCK-algebras

We give some semigroup characterizations for implicative BCK-algebras, and prove that the adjoint semigroups of implicative BCK-algebras are residualed semigroups.AMS Subject Classification (2000): 03G25, 06F35