Structural Rules and a Logical Hierarchy

This publication has 17 references indexed in Scilit:

• Survey of generalizations of Urquhart semantics.
  Notre Dame Journal of Formal Logic, 1987
• Categorial Grammar and Lambda Calculus
  Published by Springer Nature ,1987
• Linear logic and parallelism
  Published by Springer Nature ,1987
• Linear logic
  Theoretical Computer Science, 1987
• Predicate logics without the structure rules
  Studia Logica, 1986
• Completeness Results for Lambek Syntactic Calculus
  Mathematical Logic Quarterly, 1986
• Essays in Logical Semantics
  Published by Springer Nature ,1986
• A decidable fragment of predicate calculus
  Theoretical Computer Science, 1984
• PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
  Mathematics of the USSR-Izvestiya, 1982
• Über Tautologien, in Welchen Keine Variable Mehr Als Zweimal Vorkommt
  Mathematical Logic Quarterly, 1963