Institut Mittag-Leffler
The Royal Swedish Academy of Sciences


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


Contraction-free Sequent Calculi for Geometric Theories, With an Application to Barr's theorem
Source file as TeX DVI Data Postscript Document Portable Document Format

Sara Negri

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

MSC 2000

03F05 Cut-elimination and normal-form theorems
18C10 Theories (e.g. algebraic theories), structure, and semantics
18B15 Embedding theorems, universal categories

Keywords: Cut elimination, geometric theories, Barr's theorem