## INTRODUCTION TO THE COMBINATORICS AND COMPLEXITY OF CUT ELIMINATION

by
A. Carbone
,
S. Semmes

### BibTeX

@MISC{Carbone_introductionto,

author = {A. Carbone and S. Semmes},

title = {INTRODUCTION TO THE COMBINATORICS AND COMPLEXITY OF CUT ELIMINATION},

year = {}

}

### OpenURL

### Abstract

Abstract. Modus Ponens says that if you know A and you know that A implies B, then you know B. This is a basic rule that we take for granted