Academic Journal
A simple proof that super-consistency implies cut elimination
| العنوان: | A simple proof that super-consistency implies cut elimination |
|---|---|
| المؤلفون: | Gilles Dowek, Olivier Hermant |
| المساهمون: | The Pennsylvania State University CiteSeerX Archives |
| المصدر: | http://hal.inria.fr/docs/00/74/32/56/PDF/cuts.pdf. |
| سنة النشر: | 2007 |
| المجموعة: | CiteSeerX |
| نوع الوثيقة: | text |
| وصف الملف: | application/pdf |
| اللغة: | English |
| Relation: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.393.1393; http://hal.inria.fr/docs/00/74/32/56/PDF/cuts.pdf |
| الاتاحة: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.393.1393 http://hal.inria.fr/docs/00/74/32/56/PDF/cuts.pdf |
| Rights: | Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| رقم الانضمام: | edsbas.C0F6EBB7 |
| قاعدة البيانات: | BASE |
| الوصف غير متاح. |