Journal of Logic, Language and Information 19 (2):201-228 (2010)
AbstractPortable 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.
Similar books and articles
A faithful representation of non-associative Lambek grammars in abstract categorial grammars.Christian Retoré & Sylvain Salvati - 2010 - Journal of Logic Language and Information 19 (2):185-200.
Highly constrained unification grammars.Daniel Feinstein & Shuly Wintner - 2008 - Journal of Logic, Language and Information 17 (3):345-381.
New directions in type-theoretic grammars.Reinhard Muskens - 2010 - Journal of Logic, Language and Information 19 (2):129-136.
The Equivalence of Tree Adjoining Grammars and Monadic Linear Context-free Tree Grammars.Stephan Kepser & Jim Rogers - 2011 - Journal of Logic, Language and Information 20 (3):361-384.
Applying a logical interpretation of semantic nets and graph grammars to natural language parsing and understanding.Eero Hyvönen - 1986 - Synthese 66 (1):177 - 190.
Added to PP
Historical graph of 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.
References found in this work
Formal Philosophy: Selected Papers of Richard Montague.Richard Montague - 1974 - New Haven: Yale University Press.
The Proper Treatment of Quantification in Ordinary English.Richard Montague - 1974 - In Richmond H. Thomason (ed.), Formal Philosophy. Yale University Press.