The Role of Quantifier Alternations in Cut Elimination

Authors

  • Philipp Gerhardy

DOI:

https://doi.org/10.7146/brics.v10i46.21818

Abstract

Extending previous results from the author's master's thesis, subsequently published in the proceedings of CSL 2003, on the complexity of cut elimination for the sequent calculus LK, we discuss the role of quantifier alternations and develop a measure to describe the complexity of cut elimination in terms of quantifier alternations in cut formulas and contractions on such formulas.

Downloads

Published

2003-12-11

How to Cite

Gerhardy, P. (2003). The Role of Quantifier Alternations in Cut Elimination. BRICS Report Series, 10(46). https://doi.org/10.7146/brics.v10i46.21818