广义单侧剩余广群

对吴氏左（右）剩余广群，给出一种新而且简化的定义，并详细地讨论其基本性质。用其主要结论得到完备格上的所有无穷∨-分配强伪t-模与所有无穷∧-分配强蕴涵算子之间的关系。     

关于《完备Brouwer格上伪t-模与蕴涵算子》的注记

举例说明关于伪t-模与蕴涵算子的文献[FSS 132(2002)113]中定理4.1是错误的,此定理还被接连用到[FSS 139(2003)673]及其它文献。本文进而给出此基础性定理成立的一个必要条件。注意,该必要条件是不能由无穷∨-分配伪t-模与无穷∧-分配蕴涵算子的定义引出的。     

完备Brouwer格上伪t-模与蕴涵算子的注记(I)

进一步研究完备Brouwer格上伪t-模和蕴涵算子,讨论完备Brouwer格上伪t-模和蕴涵算子的直积分解。     

完备格Brouwer上伪t-模与蕴涵算子的注记(II)(英文)

进一步研究完备Brouwer格上伪t-模与蕴涵算子,给出同二元算子生成的伪t-模与蕴涵算子的计算公式。     

完备格Brouwer上伪t-模与蕴涵算子的注记(Ⅱ)

进一步研究完备Brouwer格上伪t-模与蕴涵算子,给出同二元算子生成的伪t-模与蕴涵算子的计算公式。     

Ω-TL子群和正规Ω-TL子群

引入Ω-群上Ω-TL子群和正规Ω-TL子群的概念，讨论它们的一些基本性质，给出由L子集生成的Ω-TL子群和正规Ω-TL子群的计算公式，其中T是给定的完备Brouwer格L上的任意一个无穷∨-分配t-模。     

正则剩余格上的模糊理想及模糊蕴涵理想

对正则剩余格的结构作进一步研究。利用正则剩余格上、算子并结合模糊数学的思想和方法,在正则剩余格上引入了模糊理想和模糊蕴涵理想的概念,讨论了它们的基本性质。主要结果是:(1)给出了模糊理想和模糊蕴涵理想的等价刻画;(2)证明了模糊蕴涵理想一定是模糊理想,模糊理想不必是模糊蕴涵理想;(3)证明了全体模糊理想之集在给定的运算下是一个完备的分配格。     

剩余型直觉模糊蕴涵算子的统一形式

对直觉三角模和直觉三角余模的性质进行研究,提出由此生成的直觉伴随对和直觉余伴随对的概念,讨论它们在直觉模糊区域上的性质,给出与直觉三角模相伴随的剩余型直觉蕴涵算子一种统一形式,最后根据直觉模糊蕴涵算子与模糊蕴涵算子的关系给出四类直觉模糊蕴涵算子的具体形式.     

完备剩余格中的全蕴涵推理方法

三I算法是王国俊教授提出的一种模糊推理方法,较之模糊控制理论中广泛采用的CRI 算法更具有严谨性、合理性．本文在完备剩余格中给出了模糊推理．RL-型全蕴涵α-MIFMP,α- MIFMT规则,并讨论了完备剩余格中的RL-型全蕴涵α-MI算法,得到了完备剩余格中RL-型全蕴涵α-MIFMP,α-MIFMT的计算公式,并将之应用于Godel逻辑系统,Lukasiewicz逻辑系统,Goguen逻辑系统和W-逻辑系统．特别是将结果应用于W-逻辑系统中得到了Ro-型全蕴涵α-三I算法计算公式,简化了原有的R0-型三I算法的证明．     

关于否定非对合剩余格的模糊LI-理想

运用模糊集及分析学的方法和技巧对否定非对合剩余格的模糊LI-理想问题作深入研究。证明了一个给定的否定非对合剩余格L的全体模糊LI-理想之集FLI(L)关于模糊集合包含序?构成完备Heyting代数。并给出了完备Heyting代数(FLI(L),?)中蕴涵算子的表示定理。     

模糊概念格与模糊推理

基于伽罗瓦连接,分别在交换伴随对与对合剩余格条件下,讨论了模糊概念格的四种定义形式。并证明了在对合剩余格上,对偶性成立,四种模糊算子将具有与经典意义下一致的相互关系。最后我们提出了一种基于模糊概念格的模糊推理规则,并证明了其还原性。     

Minimal varieties of residuated lattices

In this paper we investigate the atomic level in the lattice of subvarieties of residuated lattices. In particular, we give infinitely many commutative atoms and construct continuum many non-commutative, representable atoms that satisfy the idempotent law; this answers Problem 8.6 of [12]. Moreover, we show that there are only two commutative idempotent atoms and only two cancellative atoms. Finally, we study the connections with the subvariety lattice of residuated bounded-lattices. We modify the construction mentioned above to obtain a continuum of idempotent, representable minimal varieties of residuated bounded-lattices and illustrate how the existing construction provides continuum many covers of the variety generated by the three-element non-integral residuated bounded-lattice.In Celebration of the Sixtieth Birthday of Ralph N. McKenzieReceived August 1, 2003; accepted in final form April 27, 2004.     

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

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

Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices

Bosbach and Rie?an states on residuated lattices both are generalizations of probability measures on Boolean algebras. Just from the observation that both of them can be defined by using the canonical structure of the standard MV-algebra on the unit interval [0, 1], generalized Rie?an states and two types of generalized Bosbach states on residuated lattices were recently introduced by Georgescu and Mure?an through replacing the standard MV-algebra with arbitrary residuated lattices as codomains. In the present paper, the Glivenko theorem is first extended to residuated lattices with a nucleus, which gives several necessary and sufficient conditions for the underlying nucleus to be a residuated lattice homomorphism. Then it is proved that every generalized Bosbach state (of type I, or of type II) compatible with the nucleus on a nucleus-based-Glivenko residuated lattice is uniquely determined by its restriction on the nucleus image of the underlying residuated lattice, and every relatively generalized Rie?an state compatible with the double relative negation on an arbitrary residuated lattice is uniquely determined by its restriction on the double relative negation image of the residuated lattice. Our results indicate that many-valued probability theory compatible with nuclei on residuated lattices reduces in essence to probability theory on algebras of fixpoints of the underlying nuclei.     

格上TL理想的性质及生成

本文利用完备Ｂｒｏｕｗｅｒ格Ｌ及Ｌ上的无穷Ｖ－分配ｔ－模定义分配格Ｍ上的ＴＬ理想，讨论一些基本性质，并给出由Ｌ子集生成的ＴＬ理想的计算公式．     

Join-semilattices whose sections are residuated PO-monoids

We generalize the concept of an integral residuated lattice to join-semilattices with an upper bound where every principal order-filter (section) is a residuated semilattice; such a structure is called a sectionally residuated semilattice. Natural examples come from propositional logic. For instance, implication algebras (also known as Tarski algebras), which are the algebraic models of the implication fragment of the classical logic, are sectionally residuated semilattices such that every section is even a Boolean algebra. A similar situation rises in case of the Lukasiewicz multiple-valued logic where sections are bounded commutative BCK-algebras, hence MV-algebras. Likewise, every integral residuated (semi)lattice is sectionally residuated in a natural way. We show that sectionally residuated semilattices can be axiomatized as algebras (A, r, →, ⇝, 1) of type 〈3, 2, 2, 0〉 where (A, →, ⇝, 1) is a {→, ⇝, 1}-subreduct of an integral residuated lattice. We prove that every sectionally residuated lattice can be isomorphically embedded into a residuated lattice in which the ternary operation r is given by r(x, y, z) = (x · y) ∨ z. Finally, we describe mutual connections between involutive sectionally residuated semilattices and certain biresiduation algebras. This work was supported by the Czech Government via the project MSM6198959214.     

Kites and residuated lattices

We investigate a construction of an integral residuated lattice starting from an integral residuated lattice and two sets with an injective mapping from one set into the second one. The resulting algebra has a shape of a Chinese cascade kite, therefore, we call this algebra simply a kite. We describe subdirectly irreducible kites and we classify them. We show that the variety of integral residuated lattices generated by kites is generated by all finite-dimensional kites. In particular, we describe some homomorphisms among kites.     

LFI代数的性质及其与剩余格的关系

讨论LFI代数的性质．也讨论具有可嵌入性的LFI代数的性质；还给出了定义在完备格上的LFI代数成为剩余格的充要条件。