Abstract
EQ-algebras were introduced by Novak and De Baets with the intent to develop an algebraic structure of truth values for fuzzy type theory. In this paper, the notions of implicative prefilters and positive implicative prefilters in EQ-algebras are introduced and several characterizations of them are obtained. The relationship between implicative prefilters and positive implicative prefilters is considered. It is proved that implicative prefilters and positive implicative prefilters are equivalent on good IEQ-algebras. The extension theorems of implicative prefilters and positive implicative prefilters are obtained. Furthermore, the quotient algebras induced by positive implicative filters are studied.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
