Some types of filters in MTL-algebras

The aim of this work is to introduce the concepts of IMTL-filters and strong MTL-filters in MTL-algebras and show that these filters are related to IMTL-algebras and strong MTL-algebras, respectively. We also introduce the concepts of EIMTL and associative filters in MTL-algebras. The relationships between these filters and quotient algebras that are constructed via these filters are described. We clarify that EIMTL, IMTL and fantastic filters coincide in BL-algebras, whereas they have different properties in MTL-algebras; moreover, the relations between them are delineated. We prove that strong filters include some current filters such as implicative, positive implicative and fantastic filters.     

关于BL-代数的模糊滤子与模糊理想

在BL-代数中引入模糊超滤子和模糊固执滤子的概念,证明了如下条件对于BL-代数的非常数模糊滤子f来说是等价的:(1)f是布尔的和素的,(2)f是蕴涵的和素的,(3)f是超的,(4)f是固执的。应用模糊正蕴涵滤子给出G-代数的若干特征性质。提出BL-代数模糊理想的概念,给出一些重要例子,并通过例子说明在BL-代数中模糊理想一般不能由模糊滤子导出。同时,从模糊理想出发构造了商BL-代数,并建立了相应的同态基本定理。最后,研究了BL-代数的几类模糊理想及其相互关系,给出模糊布尔理想、模糊素理想、模糊超理想的特征性质。     

Folding theory applied to BL-algebras

The notion of n-fold grisly deductive systems is introduced. Some conditions for a deductive system to be an n-fold grisly deductive system are provided. Extension property for n-fold grisly deductive system is established.     

基础R0-代数与基础L*系统

研究了王国俊教授建立的模糊命题演算的形式演绎系统L^*和与之在语义上相匹配的R0-代数，以及：Petr Hajek建立的模糊命题演算系统BL和BL-代数，提出了基础R0-代数和基础L^*系统的观点，讨论了基础L^*代数与BL代数，基础L^*系统与BL系统之间．的相互关系及相对独立性，讨论了基础L^*系统关于基础风一代数的完备性问题，证明了MV-代数是特殊的基础R0-代数，指出了Lukasiewicz模糊命题演算系统是基础L^*系统的扩张，最后作为基础R0-代数与基础L^*系统的一个应用，证明了L^*系统关于语义Ωw的完备性，并在将模糊命题演算系统中的推演证明转化为相应逻辑代数中的代数运算方面作了一些尝试．     

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     

BL代数的(∈,∈∨q)-模糊素滤子

利用模糊拓扑中模糊点重于和属于模糊集的概念研究模糊逻辑代数结构,在BL 代数中引入(∈,∈∨q) 模糊素滤子的概念并研究其性质.获得了BL 代数中(∈,∈∨q)-模糊素滤子的若干等价刻画,讨论了BL-代数中素滤子与(∈,∈∨q)-模糊素滤子间的关系,考察了BL-代数中(∈,∈∨q)-模糊素滤子的同态性质,证明了BL-代数中(∈,∈∨q)-模糊素滤子的同构（同态）像（原像）仍为(∈,∈∨q)-模糊素滤子这一结论.