An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics (Q1935555): Difference between revisions

The admissibility of Ackermann's \(\gamma \)-rule, called material detachment or disjunctive syllogism as well, is one of the main issues for relevant logics, and was shown originally by an algebraic method for a few familiar relevant logics. On the other hand, it seems rather common recently to consider the problem by means of Routley-Meyer semantics or metavaluational techniques. In this paper the author first introduces a relevant logic called GA by examining the original algebraic proof, and then provides its axiomatic extensions by (arbitrary combinations from) 23 characteristic axioms. On the basis of these relevant logics, moreover, two classes of modal extensions (one of regular type, and the other of normal reflexive type, roughly speaking) are defined syntactically. In this generalized setting, the admissibility of \(\gamma \) is shown to be characterizable algebraically, which then is indeed applied to proving the admissibility of \(\gamma \) for them.