A Connection Between Cut Elimination and Normalization
A new set of conversions for derivations in the system of sequents for intuitionistic predicate logic will be defined. These conversions will be some modifications of Zucker's conversions from the system of sequents S from [11], which will have the following characteristics: (1) these conversio...
Gespeichert in:
| Veröffentlicht in: | Archive for mathematical logic 2006-02, Vol.45 (2), p.113-148 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Schreiben Sie den ersten Kommentar!