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代数都是存在的．     

强Ockham代数与剩余格

首先讨论了Ockham代数与剩余格的关系,引入了强Ockham代数的概念,并讨论了它的基本性质．然后,将著名的风蕴涵和风算子推广到Ockham代数上,证明了添加广义R0蕴涵和广义风算子后的Ockham代数L成为剩余格的充要条件是L为强Ockham代数．最后给出若干重要例子,以此来说明强Ockham代数的条件是独立的．     

G-De Morgan代数的G-同态与G-同余

将De Morgan代数的自同构群对De Morgan代数的作用,推广成抽象群对De Morgan代数的作用,引入了G-De Morgan代数的概念,讨论了G-De Morgan代数的G-同态、G-同余等性质,并研究了G-De Morgan代数的直积分解和次直不可约性.     

基于S-蕴涵的模糊等价

对由S-蕴涵所定义的模糊等价的性质进行了详细的研究.我们首先以文献中基于R-蕴涵的模糊等价的相关结果为基础,在涉及的t-余模S无任何限制条件下给出了模糊等价一般性质,其次详细利用彭等提出的对De Morgan三元组所给出的限制性条件,给出了基于S-蕴涵的模糊等价相关性质的进一步讨论.所得的结果丰富了模糊等价的理论研究.     

广义R0-代数

给出一种基于左连续的广义t-模的代数——广义R0-代数的定义和若干性质。     

Riesz代数上的d-模(英文)

本文引入了Riesz代数上d-模的概念.利用正算子理论讨论了可交换的Riesz代数上的d-模的二次共轭空间的d-模结构,并且研究了由格同态算子或区间保持算子产生的主理想上的特殊d-模.     

Banach代数上的高阶Jordan-triple导子系的广义Hyers-Ulam-Rassias稳定性

针对Banach代数上的高阶Jordan—triple导子系,基于与函数方程有关的广义的Hyers—Ulam-Rassias稳定性的原理．采用线性算子论的方法,结合广义的Jensen等式,证明了Banach代数上与高阶导子系有关的函数方程具有广义的Hyers—Ulam-Rassias稳定性．证明结果表明该方法实用性强,...     

MS代数的极大同态象

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

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

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

扭Heisenberg-Virasoro代数上的Poisson结构

Poisson代数是指同时具有代数结构和李代数结构的一类代数,其乘法与李代数乘法满足Leibniz法则.扭Heisenberg-Virasoro代数是一类重要的无限维李代数,是次数不超过1的微分算子李代数W(0)的普遍中心扩张,与曲线的模空间有密切联系.本文主要研究扭Heisenberg-Virasoro代数上的Poisson结构,首先确定了李代数W(0)上的Poisson结构,进而给出了扭Heisenberg-Virasoro代数上的Poisson结构.     

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.     

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.     

De Morgan Heyting algebras satisfying the identity xn(′*) ≈ x(n+1)(′*)

In this paper we investigate the sequence of subvarieties $ {\mathcal {SDH}_n} $of De Morgan Heyting algebras characterized by the identity x^n(′*) ≈ x^(n+1)(′*). We obtain necessary and sufficient conditions for a De Morgan Heyting algebra to be in $ {\mathcal {SDH}_1} $ by means of its space of prime filters, and we characterize subdirectly irreducible and simple algebras in $ {\mathcal {SDH}_1} $. We extend these results for finite algebras in the general case $ {\mathcal {SDH}_n} $. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

Free Algebras in Certain Varieties of Distributive Pseudocomplemented De Morgan Algebras

In this paper we characterize the join irreducible elements of the free algebras on n free generators in the subvarieties of the variety V₀ of pseudocomplemented De Morgan algebras satisfying the identity xx′* = (xx′*)′*.     

Congruence Permutable Symmetric Extended de Morgan Algebras

An algebra A is said to be congruence permutable if any two congruences on it are permutable. This property has been investigated in several varieties of algebras, for example, de Morgan algebras, p-algebras, Kn,0-algebras. In this paper, we study the class of symmetric extended de Morgan algebras that are congruence permutable. In particular we consider the case where A is finite, and show that A is congruence permutable if and only if it is isomorphic to a direct product of finitely many simple algebras.     

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.     

A normal form which preserves tautologies and contradictions in a class of fuzzy logics

Most of the normal forms for fuzzy logics are versions of conjunctive and disjunctive classical normal forms. Unfortunately, they do not always preserve tautologies and contradictions which is important, for example, for automated theorem provers based on refutation methods.De Morgan implicative systems are triples like the De Morgan systems, which consider fuzzy implications instead of t-conorms. These systems can be used to evaluate the formulas of a propositional language based on the logical connectives of negation, conjunction and implication. Therefore, they determine different fuzzy logics, called implicative De Morgan fuzzy logics.In this paper, we will introduce a normal form for implicative De Morgan systems and we will show that for implicative De Morgan fuzzy logics whose t-norms are strict, this normal form preserves contradictions as well as tautologies.