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 = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
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
