Abstract

The admissibility of Ackermann's rule γ is one of the most important problems in relevant logics. The admissibility of γ was first proved by an algebraic method. However, the development of Routley-Meyer semantics and metavaluational techniques makes it possible to prove the admissibility of γ using the method of normal models or the method using metavaluations, and the use of such methods is preferred. This paper discusses an algebraic proof of the admissibility of γ in relevant modal logics based on modern algebraic models