Institut Mittag-Leffler
The Royal Swedish Academy of Sciences


Reports Institut Mittag-Leffler
ISSN: 1103-467X
ISRN: IML-R


Cut Formulas for Kalmar Elementary Functions
Source file as TeX DVI Data Postscript Document GNU TeXinfo Document

Herman Ruge Jervell , Wenhui Zhang

Preprint series: Mathematical Logic - 2000/2001, No. 33

MSC 2000

03F05 Cut-elimination and normal-form theorems
03F20 Complexity of proofs
68Q17 Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)

Keywords: Cut rule, cut elimination, Kalmar elementary functions