%0 Journal Article
%T Some Types of Filters in Equality Algebras
%J Categories and General Algebraic Structures with Applications
%I Shahid Beheshti University
%Z 2345-5853
%A Borzooei, Rajabali
%A Zebardast, Fateme
%A Aaly Kologani, Mona
%D 2017
%\ 07/01/2017
%V 7
%N Special Issue on the Occasion of Banaschewski's 90th Birthday (II)
%P 33-55
%! Some Types of Filters in Equality Algebras
%K Equality algebra
%K (positive) implicative filter
%K fantastic filter
%K Boolean filter
%R
%X Equality algebras were introduced by S. Jenei as a possible algebraic semantic for fuzzy type theory. In this paper, we introduce some types of filters such as (positive) implicative, fantastic, Boolean, and prime filters in equality algebras and we prove some results which determine the relation between these filters. We prove that the quotient equality algebra induced by an implicative filter is a Boolean algebra, by a fantastic filter is a commutative equality algebra, and by a prime filter is a chain, under suitable conditions. Finally, we show that positive implicative, implicative, and Boolean filters are equivalent on bounded commutative equality algebras.
%U http://cgasa.sbu.ac.ir/article_42342_cf5624efc3f4dd8d61c28cc7af659734.pdf