Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic

This publication has 11 references indexed in Scilit:

• Non-commutative logic I: the multiplicative fragment
  Annals of Pure and Applied Logic, 1999
• Efficient resource management for linear logic proof search
  Published by Springer Nature ,1996
• The Occurrence of Continuation Parameters in CPS Terms.
  Published by Defense Technical Information Center (DTIC) ,1995
• Constructive logics Part I: A tutorial on proof systems and typed λ-calculi
  Theoretical Computer Science, 1993
• On the unity of logic
  Annals of Pure and Applied Logic, 1993
• Relations and Non-commutative Linear Logic
  DAIMI Report Series, 1991
• Uniform proofs as a foundation for logic programming
  Annals of Pure and Applied Logic, 1991
• Quantales and (noncommutative) linear logic
  The Journal of Symbolic Logic, 1990
• Linear logic
  Theoretical Computer Science, 1987
• The Mathematics of Sentence Structure
  The American Mathematical Monthly, 1958