Some kinds of falling fuzzy filters of lattice implication algebras

In this paper, the concepts of falling fuzzy(implicative, associative) filters of lattice implication algebras based on the theory of falling shadows and fuzzy sets are presented at first. And then the relations between fuzzy(implicative, associative) filters and falling fuzzy(implicative, associative) filters are provided. In particular, we put forward an open question on a kind of falling fuzzy filters of lattice implication algebras. Finally, we apply falling fuzzy inference relations to lattice implication algebras and obtain some related results.     

Fuzzy prime filters of lattice implication algebras

In this paper, some properties of fuzzy filters are given. Besides, the structure of fuzzy filters are further studied. And finally, the concept of fuzzy prime filter is proposed with some equivalent conditions of fuzzy prime filters obtained.     

格蕴涵代数的区间值模糊子代数

将区间值模糊集的概念应用于格蕴涵代数,引入区间值模糊格蕴涵子代数的概念并研究它们的性质.讨论了区间值模糊格蕴涵子代数与（模糊）格蕴涵子代数之间的关系;定义了区间值模糊集的象和原象,获得了区间值模糊格蕴涵子代数的象和原象成为区间值模糊格蕴涵子代数的条件.     

Fuzzyn-fold positive implicative filters in lattice implication algebras

The fuzzification of a positive implicative filter is considered, and some of properties are investigated. The relation among fuzzy filter, fuzzyn-fold implicative filter, and fuzzyn-fold positive implicative filter is discussed.     

BL代数的fantastic滤子和normal滤子

滤子是研究逻辑代数的有效工具.本文研究了BL代数的fantastic和normal滤子的等价条件,得到了在MV-代数中两种滤子之间的等价性,给出了两个公开问题:"在什么样的合适条件下,一个normal滤子成为一个fantastic滤子?"和"在什么合适的条件下,normal滤子的拓展性成立?"结论成立的一种条件.     

格蕴涵代数的扩展LI-理想

LI-理想是研究格蕴涵代数结构特征的一个重要的工具性概念.综合运用代数学与逻辑学的方法和原理对格蕴涵代数的LI-理想理论作进一步深入研究.首先,引入格蕴涵代数L的LI-理想A关于L的子集M的扩展LI-理想及稳定LI-理想概念并考察它们的基本性质.其次,讨论了L的几类扩展LI-理想集的格论特征.证明了L的关于一个给定子集M?L的稳定LI-理想全体之集S(M)与L的一个LI-理想A关于任意子集M?L的扩展LI-理想全体之集EA均构成完备Heyting代数的结论.再次,给出了商格蕴涵代数和乘积格蕴涵代数的扩展LI-理想的若干性质.最后,借助于L的扩展LI-理想之特性获得了L的ILI-理想的若干等价刻画.     

Ultra LI-ideals in lattice implication algebras

We define an ultra LI-ideal of a lattice implication algebra and give equivalent conditions for an LI-ideal to be ultra. We show that every subset of a lattice implication algebra which has the finite additive property can be extended to an ultra LI-ideal.     

A survey of fuzzy implication algebras and their axiomatization

The theory of fuzzy implication algebras was proposed by Professor Wangming Wu in 1990. The present paper reviews the following two aspects of studies on FI-algebras: concepts, properties and some subclasses of FI-algebras; axiomatization of the class of FI-algebras and some of its important subclasses. The main results are summarized in the current paper, the relationships between FI-algebras and several classes of important fuzzy algebras are discussed, such as BL-algebras, MTL-algebras, and residuated lattices, and propositional calculus systems of several special classes of FI-algebras are shown.     

On algebras with a generalized implication

We introduce the notion of gi-algebra as a generalization of dual BCK-algebra, and define the notions of strong, commutative and transitive gi-algebra, and then we show that an interval ↑l = {a ∈ P | l ≤ a} in a strong and commutative gi-algebra P is a lattice. Also, we define a congruence relation ～ _D on a transitive gi-algebra P and show that the quotient set P/～ _D is a gi-algebra and a dual BCK-algebra.     

On algebras of Toeplitz fuzzy matrices

In this paper, necessary and sufficient conditions are given for a product of Toeplitz fuzzy matrices to be Toeplitz. As an application, a criterion for normality of Toeplitz fuzzy matrices is derived and conditions are deduced for symmetric idempotency of Toeplitz fuzzy matrices. We discuss similar results for Hankel fuzzy matrices. Keywords: Fuzzy matrix, Toeplitz and Hankel matrices.     

Modified Ringel-Hall algebras,naive lattice algebras and lattice algebras

For a given hereditary abelian category satisfying some finiteness conditions, in certain twisted cases it is shown that the modified Ringel-Hall algebra is isomorphic to the naive lattice algebra and there exists an epimorphism from the modified Ringel-Hall algebra to the lattice algebra. Furthermore, the kernel of this epimorphism is described explicitly. Finally, we show that the naive lattice algebra is invariant under the derived equivalences of hereditary abelian categories.     

On l-prime radicals of lattice ordered algebras

The Kopytov order for any algebras over a field is considered. The purpose of this paper is to investigate a generalization of the concept of prime radical to lattice ordered algebras over partially ordered fields. Prime radicals of l-algebras over partially ordered and directed fields are described. Some results concerning properties of the lower weakly solvable l-radical of l-algebras are obtained. Necessary and sufficient conditions for the l-prime radical of an l-algebra to be equal to the lower weakly solvable l-radical of an l-algebra are presented.     

Endoprimal implication algebras

An algebra A is endoprimal if, for all , the only maps which preserve the endomorphisms of A are the n-ary term functions of A. The theory of natural dualities has been a very effective tool for finding finite endoprimal algebras. We study endoprimality within the variety of implication algebras, which does not contain any non-trivial dualisable algebras. We show that there are no non-trivial finite endoprimal implication algebras. We also give some examples of infinite implication algebras which are endoprimal. Received July 28, 1998; accepted in final form January 18, 1999.     

On the lattice of varieties of residuation algebras

Received August 18, 1998; accepted in final form February 5, 1999.     

Kleene algebras with implication

Inspired by an old construction due to J. Kalman that relates distributive lattices and centered Kleene algebras, in this paper we study an equivalence for certain categories whose objects are algebras with implication \({(H, \bigwedge, \bigvee, \rightarrow, 0,1)}\) which satisfy the following property for every \({a,b,c\, \in\, H}\): if \({a \leq b \rightarrow c}\), then \({a \bigwedge b \leq c}\).     

On some filters and ideals of the Medvedev lattice

Let \(\mathfrak{M}\) be the Medvedev lattice: this paper investigates some filters and ideals (most of them already introduced by Dyment, [4]) of \(\mathfrak{M}\) . If \(\mathfrak{G}\) is any of the filters or ideals considered, the questions concerning \(\mathfrak{G}\) which we try to answer are: (1) is \(\mathfrak{G}\) prime? What is the cardinality of \({\mathfrak{M} \mathord{\left/ {\vphantom {\mathfrak{M} \mathfrak{G}}} \right. \kern-0em} \mathfrak{G}}\) ? Occasionally, we point out some general facts on theT-degrees or the partial degrees, by which these questions can be answered.     

On commutative unary algebras with totally ordered congruence lattice

The class of all commutative unary algebras (with arbitrarily many operations) with totally ordered congruence lattice is described.     

Congruence kernels of orthomodular implication algebras

Abstracting from certain properties of the implication operation in Boolean algebras leads to so-called orthomodular implication algebras. These are in a natural one-to-one correspondence with families of orthomodular lattices. It is proved that congruence kernels of orthomodular implication algebras are in a natural one-to-one correspondence with families of compatible p-filters on the corresponding orthomodular lattices.