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

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

DR0代数:由De Morgan代数导出的正则剩余格

首先讨论了De Morgan代数与剩余格的关系，并引入强De Morgan代数的概念，讨论了它的基本性质．随后，将著名的R0蕴涵拓广到De Morgan代数上，称为广义R0蕴涵；证明了添加广义凰蕴涵和相应 算子后的De Morgan代数L成为剩余格的充要条件是L为强De Morgan代数，并由此引入D‰代数的概念．接着，研究了DR0代数与‰代数的关系，证明了以下结论：Boole代数是DR0代数；全序DR0代数和全序R0代数等价；DR0代数是R0代数当且仅当它满足预线性条件；无中点的DR0代数是BL代数当且仅当它是Boole代数．最后，举例说明了非D兄D代数的RD代数、以及非R0代数的DR0代数都是存在的．     

G-分次环与G-集的冲积(Smash Product)

对任意群G,[1]中研究了G-分次环与可迁有限G-集的冲积.在本文中我们对任意可迁G-集A,讨论了G-分次环R与G-集A的冲积,从而推广了[2][3]中给出的关于G-分次环与群G的冲积的主要结果.     

G-分次环与G-集的冲积(Smash Product)

对任意群G,[1]中研究了G-分次环与可迁有限G-集的冲积.在本文中我们对任意可迁G-集A,讨论了G-分次环R与G-集A的冲积,从而推广了[2][3]中给出的关于G-分次环与群G的冲积的主要结果.     

乘积G-空间中周期跟踪性和等度连续的研究

介绍了拓扑群作用下乘积空间中G-周期跟踪性和G-等度连续的概念,利用乘积映射的性质,研究了乘积映射f×g与分映射f和g在这些动力学性质方面的关系,得到如下结果:1)乘积映射f×g具有G-周期跟踪性当且仅当f具有G_1-周期跟踪性,g具有G_2-周期跟踪性;2)乘积映射f×g具有G-等度连续当且仅当f具有G_1-等度连续,g具有G_2-等度连续.这些结论弥补了拓扑群作用下乘积空间中G-周期跟踪性和G-等度连续理论的缺失.     

关于G-代数的一些注记

引进了基于一般剩余格的G-代数-G(RL)-代数的概念,并且分别给出了G-滤子和(全序)G(RL)-代数的一系列特征刻画,同时还证明了任何正则的G(RL)-代数必为Boolean代数,本文所得结果分别是已有结果的一般化.     

格值模糊测度的可能性分布表示

Dubois,Prade和Rico等对取值为有限全序集上的模糊测度与可能性测度的关系上做了深入研究,本文推广了他们的这一结果,研究了取值在De Morgan代数上的模糊测度,并通过置换与内M?bius变换,构造出两种可能性分布,证明了取值在De Morgan代数上的模糊测度可以通过一些可能性测度的下确界表示,而通过外M?bius变换,可构造出一种必要性分布,证明了取值在De Morgan代数上的模糊测度可以通过一些必要性测度的上确界表示。     

MS代数的极大同态象

该文找到了MS代数的商代数分别为De Morgan代数、Boole代数及Stone代数的最小同余关系,并借助MS代数的对偶理论,得到了MS代数的极大同态象的对偶表示.     

环上的一种群具体作用的G-等变K-群(Ⅰ)

讨论幺环上的一种群具体作用的G-等变代数K-群(本文只定义前两个群,其它高阶群将见我们的后续文章),这与通常熟知的经典情形(见[1,3])不相同,这里群在环上的作用相对于经典情形来说较"具体".然后,计算有理数域Q的第0阶群具体作用的G-等变代数K-群,这是本文的主要定理.     

环上的一种群具体作用的G-等变K-群(I)

讨论幺环上的一种群具体作用的G-等变代数K-群(本文只定义前两个群,其它高阶群将见我们的后续文章),这与通常熟知的经典情形(见[1,3])不相同,这里群在环上的作用相对于经典情形来说较“具体” 然后,计算有理数域Q第0阶群具体作用的G-等变代数K-群,这是本文的主要定理。     

Boole–De Morgan Algebras and Quasi-De Morgan Functions

In this paper we establish a Stone-type and a Birkhoff-type representation theorems for Boole–De Morgan algebras and prove that the free Boole–De Morgan algebra on n free generators is isomorphic to the Boole–De Morgan algebra of quasi-De Morgan functions of n variables. Also we introduce the concept of Zhegalkin polynomials for quasi-De Morgan functions and consider the representation problem of those functions by polynomials.     

Super-De Morgan functions and free De Morgan quasilattices

A De Morgan quasilattice is an algebra satisfying hyperidentities of the variety of De Morgan algebras (lattices). In this paper we give a functional representation of the free n-generated De Morgan quasilattice with two binary and one unary operations. Namely, we define the concept of super-De Morgan function and prove that the free De Morgan quasilattice with two binary and one unary operations on nfree generators is isomorphic to the De Morgan quasilattice of super-De Morgan functions of nvariables.     

L-拓扑空间中一类新的SR-紧性

利用强半开L-集和它们的不等式在L-拓扑空间引入了一种新的SR-紧性,这里L是完备的DeMorgan代数。这种新的SR-紧性不依赖于格L的具体结构。当L是完全分配的DeMorgan代数时,给出了它的许多刻画。     

弱射影与De Morgan代数的同余关系

本文借助弱射影和弱透视的概念刻划了Ｄｅ Ｍｏｒｇａｎ代数的同余关系,由此得到了Ｋａｌｍａｎ关于Ｄｅ Ｍｏｒｇａｎ代数次直不可约定理的一个新的证明并证明了一个完全分配的Ｄｅ Ｍｏｒｇａｎ代数的同余理想与同余关系一一对应的充要条件是Ｌ为弱可补的。     

Matrix Characterization of 4-Ary Algebraic Operations of Idempotent Algebras

Let (U; F) be an idempotent algebra. There is an r-ary essentially algebraic operation in F where there is not any (r + 3)-ary algebraic operation depending on at least r + 1 variables. In this paper, we prove that the set of all 4-ary algebraic operations of this algebras forms a finite De Morgan algebra, and then we characterize this De Morgan algebra.     

德摩根拓扑代数的局部紧

利用德摩根子代数概念以及紧性引进了德摩根拓扑代数的局部紧,研究了它与分离公理之间的关系,并给出了一个类似于Ｂａｉｒｅ 范畴定理的定理。所有结果包括了经典的相应结果作为特例,并且提供了相应的模糊模式     

Relating De Morgan triples with Atanassov’s intuitionistic De Morgan triples via automorphisms

In this paper the relation between De Morgan triples on the unit interval and Atanassov’s intuitionistic De Morgan triples is presented, showing how to obtain, in a canonical way, Atanassov’s intuitionistic De Morgan triples from De Morgan triples. Moreover, we also show that the automorphisms on the unit interval and on L∗ (the intuitionistic value lattice) are in one-to-one correspondence and how automorphisms on L∗ act on Atanassov’s intuitionistic De Morgan triples. It is also proved that the action of automorphisms and the canonical construction of De Morgan triples on L∗ commutes.     

Almost Fuzzy Compactness in L-fuzzy Top ological Spaces

In this paper, the notion of almost fuzzy compactness is defined in L-fuzzy topological spaces by means of inequality, where L is a completely distributive DeMorgan algebra. Its properties are discusse...     

Early criticism of the symbolical approach to algebra

For a long time, historians have believed that in the 1830s Sir William Rowan Hamilton was a lone critic of symbolical algebra. Using published and unpublished documents, this article shows that symbolical algebra was a considerably controversial subject among British mathematicians of the 1830s and 1840s. Special attention is paid to William Frend's and Osborne Reynolds' criticism of symbolical algebra. The article ends with a brief discussion of reservations concerning symbolical algebra expressed by Augustus De Morgan, William Whewell, and Philip Kelland.