Cut-elimination theorem for relevant logics

This publication has 4 references indexed in Scilit:

• A Survey of Proof Theory II
  Published by Elsevier ,1971
• Intensional models for first degree formulas
  The Journal of Symbolic Logic, 1967
• A Decision Procedure For the System E_Ī of Entailment with Negation
  Mathematical Logic Quarterly, 1965
• The pure calculus of entailment
  The Journal of Symbolic Logic, 1962