Abstract
We survey results about the proof theoretic approach to formal grammars, concentrating on those that can be obtained from the normalization theorem. In particular, we survey results that relate proof theoretic grammars to context-free grammars and results on the strong generative capacity of proof theoretic grammars. The paper concludes with a list of open problems concerning different issues of complexity of proof theoretical grammars.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Tiede, HJ. (2003). Proof Theory and Formal Grammars: Applications of Normalization. In: Löwe, B., Malzkom, W., Räsch, T. (eds) Foundations of the Formal Sciences II. Trends in Logic, vol 17. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-0395-6_17
Download citation
DOI: https://doi.org/10.1007/978-94-017-0395-6_17
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-6233-8
Online ISBN: 978-94-017-0395-6
eBook Packages: Springer Book Archive