The contraction rule and decision problems for logics without structural rules

This publication has 10 references indexed in Scilit:

• Linear logic and lazy computation
  Published by Springer Nature ,2005
• Structural Rules and a Logical Hierarchy
  Published by Springer Nature ,1990
• A predicate calculus with control of derivations
  Published by Springer Nature ,1990
• Predicate logics without the structure rules
  Studia Logica, 1986
• Intuitionistic Logic
  Published by Springer Nature ,1986
• Relevance Logic and Entailment
  Published by Springer Nature ,1986
• Intuitionism, Entailment, Negation
  Published by Elsevier ,1973
• A Decision Procedure For the System E_Ī of Entailment with Negation
  Mathematical Logic Quarterly, 1965
• Modalities in Ackermann's “rigorous implication”
  The Journal of Symbolic Logic, 1959
• A completeness theorem in modal logic
  The Journal of Symbolic Logic, 1959