Pgf: A portable run-time format for type-theoretical grammars [Book Review]

Journal of Logic, Language and Information 19 (2):201-228 (2010)
  Copy   BIBTEX


Portable Grammar Format (PGF) is a core language for type-theoretical grammars. It is the target language to which grammars written in the high-level formalism Grammatical Framework (GF) are compiled. Low-level and simple, PGF is easy to reason about, so that its language-theoretic properties can be established. It is also easy to write interpreters that perform parsing and generation with PGF grammars, and compilers converting PGF to other formats. This paper gives a concise description of PGF, covering syntax, semantics, and parser generation. It also discusses the technique of embedded grammars, where language processing tasks defined by PGF grammars are integrated in larger systems.



    Upload a copy of this work     Papers currently archived: 76,215

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

34 (#345,525)

6 months
1 (#449,220)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

IDL-PMCFG, a Grammar Formalism for Describing Free Word Order Languages.François Hublet - 2022 - Journal of Logic, Language and Information 31 (3):327-388.

Add more citations

References found in this work

The Proper Treatment of Quantification in Ordinary English.Richard Montague - 1974 - In Richmond H. Thomason (ed.), Formal Philosophy. Yale University Press.
Formal Philosophy. [REVIEW]Richard Montague - 1975 - Canadian Journal of Philosophy 4 (3):573-578.
Type-Theoretical Grammar.Aarne Ranta - 1995 - Oxford, England: Oxford University Press on Demand.

View all 12 references / Add more references