剩余格上的几类n-重滤子及其特征

在剩余格上引入了n-重蕴含滤子、n-重MV滤子和n-重布尔滤子,给出它们的一系列刻画定理。通过新的刻画定理得到了这些滤子之间的关系;并且证明了滤子是n-重布尔滤子当且仅当它是n-重蕴含MV滤子。     

完备剩余格上的蕴涵闭包系统

在完备剩余格上引入了蕴涵闭包系统的概念,讨论了蕴涵闭包系统与闭包系统之间的关系。给出了蕴涵闭包系统的一些性质及其表示定理。进一步研究了蕴涵闭包算子和蕴涵闭包系统的关系。     

On filter theory of residuated lattices

The aim of this paper is to develop the filter theory of general residuated lattices. First, we extend some particular types of filters and fuzzy filters in BL-algebras and MTL-algebras naturally to general residuated lattices, and further enumerate some relative results obtained in BL-algebras or MTL-algebras, which still hold in general residuated lattices. Next, we introduce the concepts of regular filters and fuzzy regular filters to general residuated lattices, which are two new types of filters and fuzzy filters, and derive some of their characterizations. Finally, we discuss the relations between (fuzzy) regular filters and several other special (fuzzy) filters, and also characterize some special classes of residuated lattices by filters or fuzzy filters.     

剩余格上的模糊滤子和模糊同余关系

介绍了剩余格上的模糊同余关系和模糊滤子的定义,给出了剩余格上模糊滤子和模糊同余关系间的一一对应,证明了在剩余格上模糊滤子和模糊同余关系上定义适当的序关系可使它们是完备格同构。     

完备剩余格上的蕴涵闭包算子

利用蕴涵运算,在完备剩余格上定义了蕴涵闭包算子,给出了它的若干等价刻画及其表示定理。     

R0代数中的正蕴涵MP滤子和固执MP滤子

在R0代数中,给出布尔MP滤子的几种性质特征。提出正蕴涵MP滤子和固执MP滤子的概念,讨论了它们的一些性质定理。证明正蕴涵MP滤子与布尔MP滤子等价,固执MP滤子与MP超滤等价,同时也讨论了正蕴涵MP滤子和固执MP滤子的关系。     

States on semi-divisible residuated lattices

Given a residuated lattice L, we prove that the subset MV(L) of complement elements x ^* of L generates an MV-algebra if, and only if L is semi-divisible. Riečan states on a semi-divisible residuated lattice L, and Riečan states on MV(L) are essentially the very same thing. The same holds for Bosbach states as far as L is divisible. There are semi-divisible residuated lattices that do not have Bosbach states. These results were obtained when the authors visited Academy of Science, Czech Republic, Institute of Comp. Sciences in Autumn 2006.     

Filters of residuated lattices and triangle algebras

An important concept in the theory of residuated lattices and other algebraic structures used for formal fuzzy logic, is that of a filter. Filters can be used, amongst others, to define congruence relations. Specific kinds of filters include Boolean filters and prime filters.In this paper, we define several different filters of residuated lattices and triangle algebras and examine their mutual dependencies and connections. Triangle algebras characterize interval-valued residuated lattices.     

剩余格中同余关系的简化

在剩余格中定义了一种只依赖于交运算和蕴含算子的同余关系,简化了[L]作为泛代数的同余关系的表达式,证明了这种同余关系和滤子之间仍然是一一对应的,并且这种对应关系是相应的完备格之间的一个同构。     

Partial residuated structures and quantum structures

Residuated structures, bounded commutative residuated lattices in particular, play an important role in the study of algebraic structures of logics—classical and non-classical. In this paper, by introducing partial adjoint pairs, a new structure is presented, named partial residuated lattices, which can be regarded as a version of residuated lattices in the case of partial operations, and their basic properties are investigated. The relations between partial residuated lattices and certain quantum structures are considered. We show that lattice effect algebras and D-lattices both are partial residuated lattices. Conversely, under certain conditions partial residuated lattices are both lattice effect algebras and D-lattices. Finally, dropping the assumption on commutativity, some similar results are obtained. Project supported by the NSF of China (No. 10771524).     

Redefined fuzzy implicative filters

Using the belongs to relation (∈) and quasi-coincidence with relation (q) between fuzzy points and fuzzy sets, the concept of (θ, ψ)-fuzzy implicative filters where θ, ψ are any two of {∈, q, ∈ ∨ q, ∈ ∧ q} with θ ≠ ∈ ∧ q is introduced, and related properties are discussed. Relations between (∈ ∨ q, ∈ ∨ q)-fuzzy implicative filters and (∈, ∈ ∨ q)-fuzzy implicative filters are investigated, and conditions for an (∈, ∈ ∨ q)-fuzzy implicative filter to be an (∈, ∈)-fuzzy implicative filter are provided. Characterizations of (∈, ∈ ∨ q)-fuzzy implicative filters are given, and conditions for a fuzzy set to be a (q, ∈ ∨ q)-fuzzy implicative filter are provided.     

R0代数中的正蕴涵MP滤子和固执MP滤子

在R₀代数中,给出布尔MP滤子的几种性质特征。提出正蕴涵MP滤子和固执MP滤子的概念,讨论了它们的一些性质定理。证明正蕴涵MP滤子与布尔MP滤子等价,固执MP滤子与MP超滤等价,同时也讨论了正蕴涵MP滤子和固执MP滤子的关系。     

Filter theory of BL algebras

In this paper we consider fundamental properties of some types of filters (Boolean, positive implicative, implicative and fantastic filters) of BL algebras defined in Haveshki et al. (Soft Comput 10:657–664, 2006) and Turunen (Arch Math Logic 40:467–473, 2001). It is proved in Haveshki et al. (2006) that if F is a maximal and (positive) implicative filter then it is a Boolean filter. In that paper there is an open problem Under what condition are Boolean filters positive implicative filters? One of our results gives an answer to the problem, that is, we need no more conditions. Moreover, we give simple characterizations of those filters by an identity form ? x, y(t(x, y) ∈ F), where t(x, y) is a term containing x, y.      

Some types of filters in residuated lattices

In this paper, inspired by some types of $BL$ -algebra filters (deductive systems) introduced in Haveshki et al. (Soft Comput 10:657–664, 2006), Kondo and Dudek (Soft Comput 12:419–423, 2008) and Turunen (Arch Math Log 40:467–473, 2001), we defined residuated lattice versions of them and study them in connection with Van Gasse et al. (Inf Sci 180(16):3006–3020, 2010), Lianzhen and Kaitai (Inf Sci 177:5725–5738, 2007), Zhu and Xu (Inf Sci 180:3614–3632, 2010). Also we consider some relations between these filters and quotient residuated lattice that are constructed via these filters.     

Characterization of extended filters in residuated lattices

We give a characterization theorem of extended filters on residuated lattices, from which many results are immediately obtained. We show that, for a bounded integral commutative residuated lattice X, (1) an extended filter $E_F (B)$ associated with $B$ is characterized by $E_F (B) = [B) \rightarrow F$ , where $B\subseteq X$ and $F$ is a filter of $X$ ; (2) the class $E(B)$ of all extended filters associated with $B$ is a complete Heyting algebra. (3) the class $S(B)$ of all stable filters relative to $B\subseteq X$ is also a complete Heyting algebra.     

剩余格的T-模糊滤子与T-模糊同余关系

将t-模应用于模糊滤子和模糊同余上,引入剩余格的T-模糊滤子与T-模糊同余,并分别研究T-模糊滤子与T-模糊同余的性质与一些等价刻画;得到全体T-模糊滤子的集合与T-模糊同余的集合是同构;研究了由T-模糊滤子所诱导的商剩余格以及同态定理。这些理论在其他的逻辑代数系统仍然成立。     

否定非对合剩余格的IV-模糊理想

模糊代数是模糊逻辑的一个重要研究内容。为进一步了解否定非对合剩余格的理想之特性,在否定非对合剩余格中引入了区间值模糊理想概念。讨论了否定非对合剩余格的区间值模糊理想的相关性质。证明了一个否定非对合剩余格的区间值模糊理想的交、直积、同构像和同态原像仍是区间值模糊理想。     

正则FI-代数的刻画及成为Boole代数的条件

正则FI-代数是仅基于蕴涵算子在一般集合上建立的逻辑代数。基于正则FI-代数的公理组以及诸多性质之间的内部联系,给出了正则FI-代数的两个公理组条件更少的刻画定理,简化了正则FI-代数的定义形式。在正则FI-代数中引入蕴涵分配性,探讨了蕴涵分配正则FI-代数的若干性质,证明了蕴涵分配正则FI-代数与Boole代数是相互等价的代数系统,给出了Boole代数的一种新的刻画,使其在形式上更接近于二值逻辑代数。     

亚BCI-代数的新型软正关联理想

给出了亚BCI-代数正关联理想的概念,讨论了亚BCI-代数正关联理想与理想的关系。将软集的参数集赋予亚BCI-代数,提出了亚BCI-代数新型软正关联理想的概念,举例说明了它与通常的软正关联理想不同。研究了亚BCI-代数新型软正关联理想与新型软理想之间的关系,讨论了亚BCI-代数新型软正关联理想在软集运算下的运算性质,最后分别利用对偶软集和软集的水平集,给出了亚BCI-代数新型软正关联理想与正关联理想之间的等价刻画。