剩余格上的(λ,μ)直觉模糊滤子北大核心

在剩余格上引入λ,μ直觉模糊滤子的概念,讨论了它与剩余格上滤子之间的关系,研究了λ,μ直觉模糊滤子在剩余格同态下的像与原像的相关性质.     

剩余格上的(λ,μ)直觉模糊滤子

在剩余格上引入λ,μ直觉模糊滤子的概念,讨论了它与剩余格上滤子之间的关系,研究了λ,μ直觉模糊滤子在剩余格同态下的像与原像的相关性质.     

非交换剩余格上模糊滤子的等价刻画

运用区间模糊集的概念和方法,在非交换剩余格上引入了模糊极滤子和模糊弱蕴涵滤子的概念,并获得了非交换剩余格上模糊极滤子与模糊弱蕴涵滤子相互等价的条件。研究结果拓展了非交换剩余格上的模糊滤子理论,也为研究非经典逻辑系统的结构奠定了理论基础。     

R_0代数上的monadic算子

本文引入了monadic算子,定义和研究了monadic R_0代数。在此基础上定义了monadic滤子和monadic同余,探讨了monadic滤子和monadic同余之间的一一对应关系。在monadic R_0代数的全体monadic滤子集上引入了格运算和伴随对,证明了这样定义的monadic滤子格构成一个Heyting代数。通过例子说明了monadic R_0代数未必构成monadic剩余格。最后给出了monadic R_0代数形成monadic剩余格的一个条件。     

基于可交换剩余格上的几类n-重模糊滤子及其性质

运用模糊集的方法和原理,在剩余格中引入了n-重模糊蕴涵滤子,n-重模糊极滤子和n-重模糊布尔滤子的概念,通过研究它们的特征及性质,证明了剩余格上这几类n-重模糊滤子之间的关系,获得了这几类模糊滤子之间相互等价的充要条件。研究结果进一步拓展了剩余格上的模糊滤子理论,并为其在代数逻辑及计算机信息处理等方面的应用奠定了理论基础。     

FI-格上的导子

在FI-格上引入了导子,研究了FI-格上导子的性质,给出了导子的等价刻画。定义并研究了保序、幂等导子,并讨论了保序导子与闭包算子之间的关系。给出了FI-格上导子不动点之集的概念,证明了可换FI-格上的保序导子的不动点之集为格滤子,并给出FI-格上导子不动点之集的等价刻画。这些结果推广和丰富了基于剩余格的逻辑代数上的导子理论。     

区间集上非交换剩余格的〈∈,∈凵 Q〉-fuzzy布尔滤子特征表示定理

基于区间集思想、滤子理论、广义布尔代数与Boole格,引入区间集上非交换剩余格fuzzy布尔滤子和区间集上非交换剩余格的〈∈,∈凵 Q〉-fuzzy布尔滤子的概念,讨论了〈∈,∈凵 Q〉-fuzzy布尔滤子的等价性特征表示定理。     

剩余格上的α-交软滤子

赋予剩余格作为参数集,提出了剩余格上的α-交软滤子的概念,给出一些刻画和软集交运算下的性质。进一步,剩余格上的α-交软同余关系和α-交软滤子的关系被研究。特别是,当X=α时,证明了SFil(L)(剩余格上交软滤子α-交软滤子的全体)和Scon(L)(剩余格上交软滤子α-交软同余关系的全体)是完备格同构的。最后,得到了剩余格上的α-交软滤子像与原像的性质。     

剩余格的粗滤子

讨论剩余格中的粗滤子。在剩余格中引入同余关系,构造基于剩余格的粗糙集代数。特别地,讨论基于滤子的剩余格的粗糙集代数,定义粗滤子、粗素滤子等概念,并讨论它们的性质,为粗糙逻辑的进一步研究作理论基础。     

剩余格上的一类模糊滤算子及其应用

在剩余格上引入了模糊滤算子,讨论了它的一些性质。特别地,将这类算子应用到EQ-代数研究中,给出了格EQ-代数和好的EQ-代数的模糊滤算子刻画,分离的EQ-代数的模糊自同态算子刻画。     

预线性与对合非结合剩余格

非结合剩余格是非结合格值逻辑系统的代数抽象,本文研究几类特殊非结合剩余格的代数性质。证明了满足预线性条件的非结合剩余格必是分配格,并给出预线性非结合剩余格的充分必要条件。同时,引入对合和强对合非结合剩余格的概念,研究了它们的基本性质,并分别给出对合和强对合非结合剩余格的等价条件。最后,通过反例说明强对合预线性非结合剩余格不一定是蕴涵格。     

强正则剩余格值逻辑系统L~N及其完备性

正则剩余格是一类重要的模糊逻辑代数系统,而常见的模糊逻辑形式系统大多数带有非联接词,并且相应的Lindenbaum代数都是正则剩余格.本文以强正则剩余格为语义,建立了一个一般的命题演算形式系统LN,并且证明了这个系统的完备性.几种常见的带有非联接词的模糊逻辑形式系统都是系统LN的扩张.     

强正则剩余格值逻辑系统（L）N及其完备性

正则剩余格是一类重要的模糊逻辑代数系统,而常见的模糊逻辑形式系统大多数带有非联接词,并且相应的Lindenbaum代数都是正则剩余格.本文以强正则剩余格为语义,建立了一个一般的命题演算形式系统LN,并且证明了这个系统的完备性.几种常见的带有非联接词的模糊逻辑形式系统都是系统LN的扩张.     

Simulation for lattice-valued doubly labeled transition systems

During the last decades, a large amount of multi-valued transition systems, whose transitions or states are labeled with specific weights, have been proposed to analyze quantitative behaviors of reactive systems. To set up a unified framework to model and analyze systems with quantitative information, in this paper, we present an extension of doubly labeled transition systems in the framework of residuated lattices, which we will refer to as lattice-valued doubly labeled transition systems (LDLTSs). Our model can be specialized to fuzzy automata over complete residuated lattices, fuzzy transition systems, and multi-valued Kripke structures. In contrast to the traditional yes/no approach to similarity, we then introduce lattice-valued similarity between LDLTSs to measure the degree of closeness of two systems, which is a value from a residuated lattice. Further, we explore the properties of robustness and compositionality of the lattice-valued similarity. Finally, we extend the Hennessy–Milner logic to the residuate lattice-valued setting and show that the obtained logic is adequate and expressive with lattice-valued similarity.     

剩余格与正则剩余格的特征定理

本文进一步研究了具有广泛应用的一类模糊逻辑代数系统——剩余格，并引入了正则剩余格的概念，对剩余格与正则剩余格的定义进行了讨论，给出了剩余格与正则剩余格的特征定理，其中包含剩余格与正则剩余格的等式特征，从而这两个格类都构成簇．本文还讨论了剩余格与正则剩余格公理系统的独立性，以及它们与相近代数结构的关系．     

关于剩余格中滤子的格结构

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.     

Generalized Bosbach and Rie?an states based on relative negations in residuated lattices

Bosbach and Rie?an states on residuated lattices both are generalizations of probability measures on Boolean algebras. Recently, two types of generalized Bosbach states on residuated lattices were introduced by Georgescu and Mure?an through replacing the standard MV-algebra in the original definition with arbitrary residuated lattices as codomains. However, several interesting problems there remain still open. The first part of the present paper gives positive answers to these open problems. It is proved that every generalized Bosbach state of type II is of type I and the similarity Cauchy completion of a residuated lattice endowed with an order-preserving generalized Bosbach state of type I is unique up to homomorphisms preserving similarities, where the codomain of the type I state is assumed to be Cauchy-complete. Consequently, many existing results about generalized Bosbach states can be further strengthened. The second part of the paper introduces the notion of relative negation (with respect to a given element, called relative element) in residuated lattices, and then many issues with the canonical negation such as Glivenko property, semi-divisibility, generalized Rie?an state of residuated lattices can be extended to the context of such relative negations. In particular, several necessary and sufficient conditions for the set of all relatively regular elements of a residuated lattice to be special residuated lattices are given, of which one extends the well-known Glivenko theorem, and it is also proved that relatively generalized Rie?an states vanishing at the relative element are uniquely determined by their restrictions on the MV-algebra consisting of all relatively regular elements when the domain of the states is relatively semi-divisible and the codomain is involutive.     

剩余格中的滤子

This paper is devoted to the discussion of filters in residuated lattices. Some equivalent conditions about filter were given. The structure of generated filter was established. The concept of implicative filter in residuated lattice was proposed with its basic properties being discussed.     

Continuous fuzzy Horn logic

The paper deals with fuzzy Horn logic (FHL) which is a fragment of predicate fuzzy logic with evaluated syntax. Formulas of FHL are of the form of simple implications between identities. We show that one can have Pavelka‐style completeness of FHL w.r.t. semantics over the unit interval [0, 1] with (residuated lattices given by) left‐continuous t‐norm and a residuated implication, provided that only certain fuzzy sets of formulas are considered. The model classes of fuzzy structures of FHL are characterized by closure properties. We also give comments on related topics proposed by N. Weaver. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Craig interpolation for semilinear substructural logics

The Craig interpolation property is investigated for substructural logics whose algebraic semantics are varieties of semilinear (subdirect products of linearly ordered) pointed commutative residuated lattices. It is shown that Craig interpolation fails for certain classes of these logics with weakening if the corresponding algebras are not idempotent. A complete characterization is then given of axiomatic extensions of the “R‐mingle with unit” logic (corresponding to varieties of Sugihara monoids) that have the Craig interpolation property. This latter characterization is obtained using a model‐theoretic quantifier elimination strategy to determine the varieties of Sugihara monoids admitting the amalgamation property.