共查询到16条相似文献,搜索用时 78 毫秒
1.
进一步研究了余剩余格的一些性质,在此基础上证明了正则余剩余格与对合BCK-格是两个等价的代数系统。所得结果将有助于深入了解正则余剩余格的代数结构,也为相关多值逻辑系统的研究提供又一途径。 相似文献
2.
关于PFI-代数与剩余格 总被引:10,自引:0,他引:10
本文提出了一种强FI代数-PFI代数,并且深入研究了它的性质,借此进一步揭示了FI-代数和剩余格之间更加密切的联系,进而以FI-代数为基本框架建立了R0-代数、正则剩余格等逻辑系统的结构特征(包括对隅结构)及其相互关系.这种以FI-代数为基础来统一处理剩余格和R0-代数的方法,同样适合于格蕴涵代数和MV代数等代数结构,而且从中更能清楚地看出它们之间的密切联系,也将有助于对相应形式逻辑系统与模糊推理的研究. 相似文献
3.
粗糙集代数中的剩余格结构 总被引:1,自引:0,他引:1
讨论粗糙集代数与剩余格的关系.借助近似代数上的原子及同余关系,证明了在适当选取蕴涵算子及相应的剩余算子之后,粗糙集代数就成为剩余格,并进而证明了粗糙集代数也是MV代数与R0代数. 相似文献
4.
5.
6.
7.
8.
强正则剩余格值逻辑系统L~N及其完备性 总被引:7,自引:0,他引:7
正则剩余格是一类重要的模糊逻辑代数系统,而常见的模糊逻辑形式系统大多数带有非联接词,并且相应的Lindenbaum代数都是正则剩余格.本文以强正则剩余格为语义,建立了一个一般的命题演算形式系统LN,并且证明了这个系统的完备性.几种常见的带有非联接词的模糊逻辑形式系统都是系统LN的扩张. 相似文献
9.
正则剩余格是一类重要的模糊逻辑代数系统,而常见的模糊逻辑形式系统大多数带有非联接词,并且相应的Lindenbaum代数都是正则剩余格.本文以强正则剩余格为语义,建立了一个一般的命题演算形式系统LN,并且证明了这个系统的完备性.几种常见的带有非联接词的模糊逻辑形式系统都是系统LN的扩张. 相似文献
10.
非结合剩余格是非结合格值逻辑系统的代数抽象,本文研究几类特殊非结合剩余格的代数性质。证明了满足预线性条件的非结合剩余格必是分配格,并给出预线性非结合剩余格的充分必要条件。同时,引入对合和强对合非结合剩余格的概念,研究了它们的基本性质,并分别给出对合和强对合非结合剩余格的等价条件。最后,通过反例说明强对合预线性非结合剩余格不一定是蕴涵格。 相似文献
11.
讨论伪统一模与剩余格之间的关系,证明完备格上无穷∨-分配伪统一模和它的剩余蕴涵算子构成一个完备剩余格,并说明任给一个完备剩余格L=(L,∧,∨,*,e→,,*是无穷∨-分配的伪统一模,→和(?)是*的剩余蕴涵算子. 相似文献
12.
本文对非对合剩余格的双极值模糊理想问题作进一步深入研究.引入了非对合剩余格的正规双极值模糊理想概念, 考察了其性质并获得了其若干等价刻画.同时, 给出了两类特殊的双极值模糊理想的定义, 分别称为极大双极值模糊理想和完全正规双极值模糊理想并讨论了它们的性质和相互关系.这些工作为进一步揭示非对合剩余格的结构特征拓展了研究思路. 相似文献
13.
This paper is devoted to the discussion of filters in residuated lattices. The lattice structure of filters in residuated lattice was established. It is proved that the set of all filters forms a distributive lattice. Also, the concept of prime filter in residuated lattice was proposed and some equivalent conditions about prime filter were given. 相似文献
14.
Bounded integral residuated lattices form a large class of algebras which contains algebraic counterparts of several propositional logics behind many-valued reasoning and intuitionistic logic. In the paper we introduce and investigate monadic bounded integral residuated lattices which can be taken as a generalization of algebraic models of the predicate calculi of those logics in which only a single variable occurs. 相似文献
15.
We present the numbers of all non-isomorphic residuated lattices with up to 12 elements and a link to a database of these
lattices. In addition, we explore various characteristics of these lattices such as the width, length, and various properties
considered in the literature and provide the corresponding statistics. We also present algorithms for computing finite residuated
lattices including a fast heuristic test of non-isomorphism. 相似文献
16.
提出伪对合剩余格(非可换)的概念。通过在伪效应代数中引入两个部分运算,研究了伪对合剩余格与格伪效应代数之间的自然关系,证明了以下结论:在一定条件下,一个格伪效应代数可被扩张成为一个伪对合剩余格,同时一个伪对合剩余格可被限制为一个格伪效应代数。特别地,得到伪对合剩余格成为具有Riesz分解性质的格伪效应代数的一个充要条件。最后,还讨论了伪效应代数与剩余格的理想与滤子理论。 相似文献