scientific article; zbMATH DE number 1491044

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.

Recommendations

Cited in

(6)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4496546)