Bounded Contraction in Systems with Linearity

This publication has 12 references indexed in Scilit:

• Cut-free proof systems for logics of weak excluded middle
  Soft Computing, 1999
• Two types of multiple-conclusion systems
  Logic Journal of the IGPL, 1998
• Bounded contraction and Gentzen-style formulation of ?ukasiewicz logics
  Studia Logica, 1996
• Commutative, residuated 1—monoids
  Published by Springer Nature ,1995
• Extending intuitionistic linear logic with knotted structural rules.
  Notre Dame Journal of Formal Logic, 1994
• Hypersequents, logical consequence and intermediate logics for concurrency
  Annals of Mathematics and Artificial Intelligence, 1991
• Natural 3-valued logics—characterization and proof theory
  The Journal of Symbolic Logic, 1991
• A constructive analysis of RM
  The Journal of Symbolic Logic, 1987
• Linear logic
  Theoretical Computer Science, 1987
• Logics without the contraction rule
  The Journal of Symbolic Logic, 1985