Login / Signup
Admissibility of Structural Rules for Extensions of Contraction-Free Sequent Calculi.
Roy Dyckhoff
Sara Negri
Published in:
Log. J. IGPL (2001)
Keyphrases
</>
sequent calculi
cut elimination
sequent calculus
wide class
linear logic
association rules
conditional logic