An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics (Q1935555): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s11225-012-9459-y / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2009065992 / rank | |||
Normal rank |
Revision as of 01:39, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics |
scientific article |
Statements
An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics (English)
0 references
18 February 2013
0 references
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.
0 references
Ackermann's \(\gamma \)-rule
0 references
material detachment
0 references
disjunctive syllogism
0 references
relevant modal logic
0 references
relevant modal algebra
0 references
join-syllogistic
0 references