N-半单代数中的剩余格结构

在N-半单代数的中心幂等元构成的集合G(R)中引入了"→、*、、Θ"运算和一个二元关系"≤",证明"≤"构成G(R)上的偏序关系,和Θ分别是偏序集(G(R),≤)上的上确界运算和下确界运算;进而证明了(G(R),,Θ,→,1,0)是剩余格。在此基础上得到了N-半单代数可以构成与M TL代数,BL代数,G-代数,G oguen代数,BR0-代数和R0-代数等价的代数系统,从而将模糊逻辑与结合代数有机地结合起来。     

模糊逻辑代数的Loomis—Sikorski表现定理

通过研究MV-代数、Π-代数、G-代数、R0-代数等模糊逻辑代数的赋值(从模糊逻辑代数L到单位区间[0,1]的同态)与滤子之间的关系,建立了MV-代数、Π-代数、G-代数、R0-代数等模糊逻辑代数的Loomis-Sikorski表现定理.     

非交换BR_0代数的剩余格表示

为了使非可换逻辑代数N BR0具有剩余格结构,提出两种剩余格结构N RL和CN RL,建立N BR0代数的N RL和CN RL表示。最后讨论了CN RL上的λ结构和γ结构,得到N BR0代数的表现定理。     

λKv的最大K2,3填充设计和最小K2,3覆盖设计

对于一个有限简单图G,λKv的G-设计(G-填充,G-覆盖),记为(v,G,λ)-GD((v,G,λ)-PD,(v,G,λ)-CD),是一个(X,B),其中X是Kb的顶点集,B是Kv的子图族,每个子图(称为区组)均同构于G,且Kv中任一边都恰好(最多,至少)出现在B的λ个区组中.一个填充(覆盖)设计称为是最大(最小)的,如果没有其它的这种填充(覆盖)设计具有更多(更少)的区组.本文对于λ>1确定了(v,K2,3,λ)-GD的存在谱,并对任意λ构造了λKv的最大K2,3-填充设计和最小K2,3-覆盖设计.     

剩余格及有界psBCK-代数成为布尔代数的充要条件

研究了一般剩余格(未必可换)与布尔代数的关系,给出剩余格成为布尔代数的一系列充要条件.同时,进一步将这些结果推广到只含有蕴涵运算的有界psBCK-代数中,证明了在一定条件下由psBCK-代数可诱导出有界格且构成布尔代数.     

N-半单代数与蕴涵代数

研究了有限结合代数与各种蕴涵代数的联系,得到了一些有趣的结果:N-半单代数的中心幂等元集G(R)按照“→”或者“*”等运算分别构成与蕴涵代数(F I代数、BCK代-数、BC I代-数、BCC代-数、W a jsberg代数等)等价的代数系统。     

中心分次单代数

设M是交换Monoid，G是交换群，D是M-分次域．本文的结果是：(一)证明D上两个有有限分次维数的中心M-分次单代数之分次张量积仍是此类分次代数．(二)给出D上G-分次代数的Noether—Skolem型定理．     

λKv的最大K2,3填充设计和最小K2,3覆盖设计

对于一个有限简单图G,λK_v的G-设计(G-填充,G-覆盖),记为(v,G,λ)-GD((v,G,λ)-PD,(v,G,λ)-CD),是一个(X,B),其中X是K_v的顶点集,B是K_v的子图族,每个子图(称为区组)均同构于G,且K_v中任一边都恰好(最多,至少)出现在B的λ个区组中.一个填充(覆盖)设计称为是最大(最小)的,如果没有其它的这种填充(覆盖)设计具有更多(更少)的区组.本文对于λ>1确定了(v,K_2,3,λ)-GD的存在谱,并对任意λ构造了λK_v的最大K_2,3-填充设计和最小K_2,3-覆盖设计.     

六点七边图的λ-填充与λ-覆盖

λKv为λ重v点完全图,G为有限简单图.λKv的一个G-设计(G-填充设计,G-覆盖设计),记为(v,G,λ)-GD((v,G,λ)-PD,(v,G,λ)-CD),是指一个序偶(X,B),其中X为Kv的顶点集,B为Kv中同构于G的子图的集合,称为区组集,使得Kv中每条边恰好(至多,至少)出现在B的λ个区组中.一个填充(覆盖)设计称为最大(最小)的,如果没有其它的填充(覆盖)设计有更多(更少)的区组.本文中,我们构作了三个六点七边图的最大填充与最小覆盖.     

Fuzzy蕴涵代数与MV代数

本文讨论Ｆｕｚｚｙ蕴涵代数与ＭＶ代数之间的关系，并证明了在一定的条件下Ｆｕｚｚｙ蕴函代数是剩余格。     

Boolean deductive systems of BL-algebras

BL-algebras rise as Lindenbaum algebras from many valued logic introduced by Hájek [2]. In this paper Boolean ds and implicative ds of BL-algebras are defined and studied. The following is proved to be equivalent: (i) a ds D is implicative, (ii) D is Boolean, (iii) L/D is a Boolean algebra. Moreover, a BL-algebra L contains a proper Boolean ds iff L is bipartite. Local BL-algebras, too, are characterized. These results generalize some theorems presented in [4], [5], [6] for MV-algebras which are BL-algebras fulfiling an additional double negation law x = x ^**. Received: 22 June 1998 /?Published online: 18 May 2001     

预线性与对合非结合剩余格

非结合剩余格是非结合格值逻辑系统的代数抽象,本文研究几类特殊非结合剩余格的代数性质。证明了满足预线性条件的非结合剩余格必是分配格,并给出预线性非结合剩余格的充分必要条件。同时,引入对合和强对合非结合剩余格的概念,研究了它们的基本性质,并分别给出对合和强对合非结合剩余格的等价条件。最后,通过反例说明强对合预线性非结合剩余格不一定是蕴涵格。     

L-可定义集与L-粗糙概念格

对基于剩余格L的L-广形式背景引入了L-可定义集概念,研究L-可定义集的性质及其与L-粗糙概念之间的关系.培出L-广可定义集的刻画;得到常值L-案均为L-可定义集的若干等价条件;证明全体L-可定义集在L-集包含序下是相应L-幂集格及L-粗糙概念格的子完备格;给出全体L-可定义集恰为全体L-粗糙概念外延的一个充要条件.     

WDRL半群和MTL代数

研究WDRL半群的性质。同时讨论WDRL半群和MTL代数之间的关系。     

LFI代数的性质及其与剩余格的关系

讨论LFI代数的性质．也讨论具有可嵌入性的LFI代数的性质；还给出了定义在完备格上的LFI代数成为剩余格的充要条件。     

伪对合剩余格(非可换)与伪效应代数(英文)

提出伪对合剩余格(非可换)的概念。通过在伪效应代数中引入两个部分运算,研究了伪对合剩余格与格伪效应代数之间的自然关系,证明了以下结论:在一定条件下,一个格伪效应代数可被扩张成为一个伪对合剩余格,同时一个伪对合剩余格可被限制为一个格伪效应代数。特别地,得到伪对合剩余格成为具有Riesz分解性质的格伪效应代数的一个充要条件。最后,还讨论了伪效应代数与剩余格的理想与滤子理论。     

R0-代数上的Fuzzy同余关系

在R0-代数中引入Fuzzy同余关系的概念，讨论了Fuzzy同余关系的一些基本性质，并通过对R0-代数中的Fuzzy MP滤子，特别是生成Fuzzy MP滤子的讨论建立了Fuzzy MP滤子与Fuzzy同余关系之间的联系。     

具拟不变测度群胚流上的交叉积

设G为第二可数局部紧有Haar系{λu}的群胚,A为G上左不变作用的交换群,则我们有C-动力系统（C（G）,A,β）．本文我们研究具有一定性质的拟不变测度,用此测度,得到了一些有关群胚C-代数及交叉积的重要结果,     

Monadic Bounded Commutative Residuated ℓ-monoids

Bounded commutative residuated ℓ-monoids are a generalization of algebras of propositional logics such as BL-algebras, i.e. algebraic counterparts of the basic fuzzy logic (and hence consequently MV-algebras, i.e. algebras of the Łukasiewicz infinite valued logic) and Heyting algebras, i.e. algebras of the intuitionistic logic. Monadic MV-algebras are an algebraic model of the predicate calculus of the Łukasiewicz infinite valued logic in which only a single individual variable occurs. We introduce and study monadic residuated ℓ-monoids as a generalization of monadic MV-algebras. Jiří Rachůnek was supported by the Council of Czech Goverment MSM 6198959214.