No label defined (Q4496546)

The authors consider implicative filters in implicative algebras and show that: 1. In any implicative algebra constructed from a partially ordered set with a maximum element, every implicative filter \(\nabla\) is special, that is, it satisfies (a) \(a\in\nabla\Rightarrow b\to a\in \nabla\) (b) \(a\to b\), \(b\to c\in\nabla \Rightarrow a\to c\in \nabla\) (c) \(b\to a\), \(c\to d\in\nabla \Rightarrow(a\to c)(b\to d)\in\nabla\) 2. For implicative algebras \(A,B\) and a homomorphism \(f:A\to B\), if \(\nabla\) is a (special) filter then so is \(f^{-1}(\nabla)\). \textit{H. Rasiowa} proved in her book [An algebraic approach to non-classical logics. North-Holland, Amsterdam (1974; Zbl 0299.02069)] that every implicative filter in any positive implicative algebra is a special one. In this paper the authors extend her result.