Cut elimination inside a deep inference system for classical predicate logic

TitleCut elimination inside a deep inference system for classical predicate logic
Publication TypeJournal Article
Year of Publication2006
AuthorsBrünnler, K
JournalStudia Logica
Volume82
Pagination51-71
URLhttp://www.iam.unibe.ch/ltgpub/2006/bru06a.pdf
DOI10.1007/s11225-006-6605-4