An Algebraic Proof of the Admissibility of gamma in Relevant Modal Logics

作者：Seki Takahiro^*

来源：Studia Logica, 2012, 100(6): 1149-1174.

DOI：10.1007/s11225-012-9459-y

• Admissibility of gamma
• Relevant modal logic
• Relevant modal algebra
• Join-syllogistic

The admissibility of Ackermann%26apos;s rule gamma is one of the most important problems in relevant logics. The admissibility of gamma 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 gamma 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 gamma in relevant modal logics based on modern algebraic models.

• 出版日期2012-12