The Story of \gamma

This paper recounts the history and solution of the problem of admissibility of the rule \(\gamma \) in the context of E and other relevance logics.

[1]  Robert K. Meyer,et al.  Completeness of relevant quantification theories , 1974, Notre Dame J. Formal Log..

[2]  R. Harrop,et al.  On disjunctions and existential statements in intuitionistic systems of logic , 1956 .

[3]  Katalin Bimbó,et al.  Relational semantics of nonclassical logical calculi. CSLI Lecture Notes, no. 188 , 2010 .

[4]  Gary M. Hardegree,et al.  Algebraic Methods in Philosophical Logic , 2001 .

[5]  Robert K. Meyer,et al.  Gentzen’s Cut and Ackermann’s Gamma , 1989 .

[6]  Ronald Harrop.  Concerning Formulas of the Types $A \rightarrow B \vee C, A \rightarrow (Ex)B(x)$ , 1960 .

[7]  Alasdair Urquhart,et al.  Duality for algebras of relevant logics , 1996, Stud Logica.

[8]  Wilhelm Ackermann,et al.  Begründung einer strengen Implikation , 1956, Journal of Symbolic Logic.

[9]  J. Michael Dunn.  Algebraic Completeness Results for R-Mingle and Its Extensions , 1970, J. Symb. Log..

[10]  P. Pudlák.  Chapter VIII - The Lengths of Proofs , 1998 .

[11]  Richard Sylvan,et al.  The semantics of entailment—II , 1972, Journal of Philosophical Logic.

[12]  Robert K. Meyer,et al.  E, R AND γ , 1969, Journal of Symbolic Logic.

[13]  Ronald Harrop,et al.  Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems , 1960, Journal of Symbolic Logic.

[14]  Nuel D. Belnap,et al.  Entailment : the logic of relevance and necessity , 1975 .

[15]  Stephen Cole Kleene.  Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms , 1962, J. Symb. Log..

[16]  R. Statman.  Bounds for proof-search and speed-up in the predicate calculus , 1978 .

[17]  Peter Aczel,et al.  Saturated Intuitionistic Theories , 1968 .