 | Institut Mittag-Leffler
The Royal Swedish
Academy of Sciences |
Proof-theoretical analysis of order relations
Source file as TeX DVI Data
Postscript Document
Portable Document Format
Sara Negri
,
Jan von Plato
,
Thierry Coquand
Preprint series:
Mathematical Logic - 2000/2001, No. 18
MSC 2000
- 03F05 Cut-elimination and normal-form theorems
-
06A05 Total order
-
06A06 Partial order, general
Keywords:
cut elimination, partial order, linear order, entailment relations