Cantor三分集构造方法探微

以Cantor三分集的构造为基础,揭示了该构造方法的本质特征,给出了它的一般化叙述和若干应用.     

关于Cantor三分集定义方式的一个新进展

通过对Cantor三分集本质结构进行深刻洞察,并结合结构化方法对Cantor三分集的定义方式进行研究.定义了?上的无再生三分族、Cantor三分族等概念,证明了Cantor三分集的一个非三进制数模式的新公式,并证明了一个关于三进制数的新公式.为Cantor三分集的"三进制数定义法"提供了一种严密的理论基础,同时也增进了...     

R_0代数的滤子理论

在R0代数中引入了正蕴涵滤子、奇异滤子、MV滤子的概念,讨论了这些滤子的性质及关系.得到了:在R0代数上,蕴涵滤子、正蕴涵滤子、布尔滤子是等价的;奇异滤子与MV滤子是等价的;正蕴涵滤子是奇异滤子,但反之不真.     

偏序集上的滤子极大理想

在偏序集上引入并考察了滤子极大理想的概念,证明了相应的存在性定理。引入并考察了伪极大元和伪既约元的概念,利用图表的形式对连续格中各种类型的既约元和素元之间的关系进行了归纳总结,完善了文献《Continuous Lattices and Domains》(作者:G.Gierz,et al)中的一个图表的相关内容,填补了在分配的连续格情形该图表的一个未知内容,部分地回答了该文献中的一个问题。     

格蕴涵代数中的扩张滤子

在格蕴涵代数中提出了扩张滤子的概念,讨论了扩张滤子与滤子,扩张滤子与素滤子,扩张滤子与滤子的根,扩张滤子与准素滤子,扩张滤子与最大滤子之间的关系.得到了扩张滤子的一些性质.最后,证明了在格H蕴涵代数中,扩张滤子与扩张滤子的根相等.     

效应代数中的模糊滤子

在效应代数中引入模糊滤子和模糊理想的概念,讨论了它们的性质;引入并研究了强模糊滤子;在全序效应代数中提出了一个模糊同余关系并证明了这样生成的同余类是一个全序格效应代数.     

Fuzzy蕴涵代数的关联MP滤子和交换MP滤子

在Fuzzy蕴涵代数中对关联MP滤子和交换MP滤子的性质及应用作进一步研究.获得了关联MP滤子的若干新的等价刻画;利用交换MP滤子的性质给出了Fuzzy蕴涵代数成为可交换Fuzzy蕴涵代数的若干充要条件.     

伪相等代数的特殊滤子及其应用

首先讨论了伪相等代数和伪MV-代数的关系。然后给出了伪相等代数中素滤子和布尔滤子的概念。最后作为这些滤子的应用,介绍了由蕴涵滤子,极滤子,布尔滤子和素滤子诱导的商伪相等代数的结构。证明了有界交换伪相等代数的蕴涵闭正规滤子诱导的商伪相等代数是布尔代数;伪相等代数的极闭正规滤子诱导的商伪相等代数是交换伪相等代数。     

Fuzzy蕴涵代数的MP滤子

给出了Fuzzy蕴涵代数(简称FI代数)上的MP滤子的等价刻画和由非空子集生成的MP滤子的表示定理; 探讨了FI代数的MP滤子与偏序滤子之间的关系; 证明了一个FI代数上全体MP滤子之集在集合包含序下构成一个分配连续(代数)格,从而构成一个Frame.     

Sequential Convergences on Boolean Algebras Defined by Systems of Maximal Filters

We study sequential convergences defined on a Boolean algebra by systems of maximal filters. We describe the order properties of the system of all such convergences. We introduce the category of 2-generated convergence Boolean algebras and generalize the construction of Novak sequential envelope to such algebras.     

Free Skew Boolean Intersection Algebras and Set Partitions

We show that atoms of the n-generated free left-handed skew Boolean intersection algebra are in a bijective correspondence with pointed partitions of non-empty subsets of \(\{1,2,\dots , n\}\). Furthermore, under the canonical inclusion into the k-generated free algebra, where k≥n, an atom of the n-generated free algebra decomposes into an orthogonal join of atoms of the k-generated free algebra in an agreement with the containment order on the respective partitions. As a consequence of these results, we describe the structure of finite free left-handed skew Boolean intersection algebras and express several their combinatorial characteristics in terms of Bell numbers and Stirling numbers of the second kind. We also look at the infinite case. For countably many generators, our constructions lead to the ‘partition analogue’ of the Cantor tree whose boundary is the ‘partition variant’ of the Cantor set.     

Representations of Clifford Algebras on Function Spaces on the Cantor Set

We give a representation of the (infinite-dimensional) complex Clifford algebra on the Hilbert space of square-integrable complexvalued functions on the Cantor set.     

IMTL代数上的素布尔模糊滤子及其运算

在IMTL代数M的全体素布尔模糊滤子集ゐゐ(M)∪{φ}上定义格运算和逆序对合对应,证明ゐゐ(M)∪{φ}在这些运算下是一个完备的有逆序对合对应的有界分配格(即是一个完备的拟布尔代数).然后再在ゐゐ(M)∪{φ}上定义一个伴绥对,证明ゐゐ(M)∪{φ}也构成一个剩余格.     

集对代数与3值代数

研究集对代数 ,证明每个 3值代数同构于某个集对代数的子代数 ,从而推广文 [3]的结论 ,并讨论集对代数的直积分解。     

On the Deductive Strength of Various Distributivity Axioms for Boolean Algebras in Set Theory

In this article, we shall show the generalized notions of distributivity of Boolean algebras have essential relations with several axioms and properties of set theory, say the Axiom of Choice, the Axiom of Dependence Choice, the Prime Ideal Theorems, Martin's axioms, Lebesgue measurability and so on.     

Quasiequational Bases of Cantor Algebras

There are continuum many quasivarieties of Cantor algebras having an ω-independent quasiequational basis but no independent quasiequational basis whose intersection does have an independent quasiequational basis.     

MTL代数的特征定理

对于逻辑系统代数结构的研究,是一个十分重要的研究课题.近期提出的BL代数,R_0代数,MTL代数就是这个方向具有代表性的研究成果.本文讨论MTL代数的性质与结构,给出这种代数的几个特征定理,澄清这种代数与其它代数结构的关系.鉴于单位区间中由左连续t-范数诱导的剩余蕴涵与MTL代数的紧密联系,本文还考察了这种模糊蕴涵的特征性质.     

Auslander-Regular Algebras and Maximal Orders

Let R be an Auslander-regular, Cohen-Macaulay, Noetherian ringthat is stably free. Then, we prove that R is a domain and amaximal order in its division ring of fractions. In particular,this applies to the Sklyanin algebra S and shows that, whenS satisfies a polynomial identity, it is actually a finite moduleover its centre.