Implicative Filters in Pocrims (Report‪)‬

[section]1. Introduction Bounded pocrims form a class of algebras containing as proper subclasses, among others, the class of algebras of some logics, e.g, the class of BL[right arrow]algebras, i.e., algebras of the basic fuzzy logic [2] (and consequently the class of MU[right arrow]algebras, i.e., algebras of the Lukasiewicz infinite valued logic), as well as the class of Heyting algebras, i.e., algebras of intuitionistic logic. Filters in pocrims are defined [1,3]. In this paper we define the notion of implicative filter. We show that {1} is an implicative filter of pocrim A iff A is Brouwerian semilattice.