共查询到20条相似文献,搜索用时 15 毫秒
1.
2.
J. S. Olson 《代数通讯》2013,41(10):3632-3670
This article is motivated by a concern with finiteness conditions on varieties of residuated structures—particularly residuated meet semilattice-ordered commutative monoids. A “concentric sum” construction is developed and is used to prove, among other results, a local finiteness theorem for a class that encompasses all n-potent hoops and all idempotent subdirect products of residuated chains. This in turn implies that a range of residuated lattice-based varieties have the finite embeddability property, whence their quasi-equational theories are decidable. Applications to substructural logics are discussed. 相似文献
3.
We investigate symmetry techniques for expressing various exterior differential forms in terms of simplified coordinate systems. In particular, we give extensions of the Lie symmetry approach to integrating Frobenius integrable distributions based on a solvable structure of symmetries and show how a solvable structure of symmetries may be used to find local coordinates for the Pfaffian problem and Darboux's theorem. 相似文献
4.
剩余格与正则剩余格的特征定理 总被引:53,自引:2,他引:53
本文进一步研究了具有广泛应用的一类模糊逻辑代数系统——剩余格,并引入了正则剩余格的概念,对剩余格与正则剩余格的定义进行了讨论,给出了剩余格与正则剩余格的特征定理,其中包含剩余格与正则剩余格的等式特征,从而这两个格类都构成簇.本文还讨论了剩余格与正则剩余格公理系统的独立性,以及它们与相近代数结构的关系. 相似文献
5.
6.
7.
8.
9.
关于PFI-代数与剩余格 总被引:10,自引:0,他引:10
本文提出了一种强FI代数-PFI代数,并且深入研究了它的性质,借此进一步揭示了FI-代数和剩余格之间更加密切的联系,进而以FI-代数为基本框架建立了R0-代数、正则剩余格等逻辑系统的结构特征(包括对隅结构)及其相互关系.这种以FI-代数为基础来统一处理剩余格和R0-代数的方法,同样适合于格蕴涵代数和MV代数等代数结构,而且从中更能清楚地看出它们之间的密切联系,也将有助于对相应形式逻辑系统与模糊推理的研究. 相似文献
10.
《佛山科学技术学院》2014,6(2):223-233
In this paper, the notions of fuzzy weak regular, strong and preassociative filters are introduced with some properties of them investigated. In particular, under the context of Glivenko algebras, fuzzy weak regular filters and regular ones are equivalent and characterizations of Glivenko algebras are concluded by characterizations of fuzzy strong filters. At last the notion of fuzzy preassociative filters are defined, which are proved to coincide with fuzzy Boolean filters, and then some new alternative definitions of Boolean algebras are obtained by this type of filters. 相似文献
11.
12.
13.
14.
15.
为了深入研究否定非对合剩余格的结构特征,引入否定非对合剩余格的BF-理想概念并考察其性质.证明了BF-理想的BF-交集、同态像和同态原像也是BF-理想.同时,给出了BF-理想的BF-并集成为BF-理想的条件. 相似文献
16.
非结合剩余格是非结合格值逻辑系统的代数抽象,本文研究几类特殊非结合剩余格的代数性质。证明了满足预线性条件的非结合剩余格必是分配格,并给出预线性非结合剩余格的充分必要条件。同时,引入对合和强对合非结合剩余格的概念,研究了它们的基本性质,并分别给出对合和强对合非结合剩余格的等价条件。最后,通过反例说明强对合预线性非结合剩余格不一定是蕴涵格。 相似文献
17.
左剩余格序广群上的矩阵方程 总被引:1,自引:1,他引:0
研究左剩余格序广群L上矩阵方程AX=B的解集以及所有n阶矩阵的集合Mn(L),将文献[3]中的一切结果推广到左剩余格序广群上,而且证明了若L是左剩余格序广群,则Mn(L)也组成左剩余格序广群。此外,还指出了文献[1]中主要结论的错误。 相似文献
18.
We study additive maps which are skew-commuting or skew-centralizing on appropriate subsets of a ring R; and we investigate commutativity in prime and semiprime rings admitting a nonzero derivation d such that [d(x),d(y)] = 0 for all x,y in some nonzero one-sided ideal. This paper has two main parts. The first, motivated by a recent result of Bre?ar [3] on triviality of skew-commuting additive maps on prime rings, is a study of additive maps which are skew-commuting or skew-centralizing on subsets of certain rings. The second continues a study, begun years ago by Herstein [7], of prime and semiprime rings R admitting a nonzero derivation d such that d(x)d(y) ? d(y)d(x) = 0 for all x, y in a suitably chosen subset of R. 相似文献
19.
Miroslawa Kolowska-Gawiejnowicz 《Mathematical Logic Quarterly》1997,43(1):60-72
We prove a representation theorem for (abstract) residuated algebras: each residuated algebra is isomorphically embeddable into a powerset residuated algebra. As a consequence, we obtain a completeness theorem for the Generalized Lambek Calculus. We use a Labelled Deductive System which generalizes the one used by Buszkowski [4] and Pankrat'ev [17] in completeness theorems for the Lambek Calculus. 相似文献
20.
Pre-crystalline graded rings constitute a class of rings which share many properties with classical crossed products. Given
a pre-crystalline graded ring
A\mathcal{A}
, we describe its center, the commutant
CA(A0)C_{\mathcal{A}}(\mathcal{A}_{0})
of the degree zero grading part, and investigate the connection between maximal commutativity of
A0\mathcal{A}_{0}
in
A\mathcal{A}
and the way in which two-sided ideals intersect
A0\mathcal{A}_{0}
. 相似文献