A Mathematical Formalism for Linguistic Theories with an Application in Head-Driven Phrase Structure Grammar

ordinary feature structures of Pollard 1989 and Pollard and Moshier 1990. As one would intuitively expect, the 87 abstract feature structures that correspond to the two 87 concrete feature structures that illustrate morphisms in (3) stand in the 87 abstract feature structure subsumption relation. I will presently summarize the mathematical results that confirm the intuition that this correspondence between concrete feature structure subsumption and abstract feature subsumption always holds. (7) ?>=< 89:; 7654 0123 person

[1]  Fernando Pereira,et al.  The Semantics of Grammar Formalisms Seen as Computer Languages , 1984, ACL.

[2]  John T. Maxwell,et al.  Formal issues in lexical-functional grammar , 1998 .

[3]  Mike Reape,et al.  A Feature Value Logic with Intensionality, Nonwellfoundedness and Functional and Relational Dependencies , 1994 .

[4]  Paul John King,et al.  On the Existence of Exhaustive Models in a Relational Feature Logic for Head-Driven Phrase Structure , 1997 .

[5]  Stuart M. Shieber,et al.  An Introduction to Unification-Based Approaches to Grammar , 1986, CSLI Lecture Notes.

[6]  Ivan A. Sag,et al.  Information-based syntax and semantics , 1987 .

[7]  Ivan A. Sag,et al.  Information-Based Syntax and Semantics: Volume 1, Fundamentals , 1987 .

[8]  Walt Detmar Meurers,et al.  Interleaving universal principles and relational constraints over typed feature logic , 1997 .

[9]  Christos H. Papadimitriou,et al.  Elements of the Theory of Computation , 1997, SIGA.

[10]  Walt Detmar Meurers.  Raising Spirits (and assigning them case) , 1999 .

[11]  Manfred Sailer,et al.  Underspecified Semantics in HPSG , 1999 .

[12]  William C. Rounds,et al.  Feature Logics , 1997, Handbook of Logic and Language.

[13]  Hans Hahn.  Einführung in die Mathematische Logik , 1932 .

[14]  Walt Detmar Meurers,et al.  A Computational Treatment of Lexical Rules in HPSG as Covariation in Lexical Entries , 1997, CL.

[15]  David R. Dowty.  To ward a Minimalist Theory of Syntactic Structure , 1992 .

[16]  Daniel Gallin,et al.  Intensional and Higher-Order Modal Logic , 1975 .

[17]  William C. Rounds,et al.  A Complete Logical Calculus for Record Structures Representing Linguistic Information , 1986, LICS.

[18]  Paul John King,et al.  An Expanded Logical Formalism for Head-Driven Phrase Structure Grammar , 1994 .

[19]  Mike Reape,et al.  A logical treatment of semi-free word order and bounded discontinuous constituency , 1989, EACL.

[20]  Carl Pollard,et al.  Unifying partial descriptions of sets , 1990 .

[21]  Geoffrey K. Pullum,et al.  Generalized Phrase Structure Grammar , 1985 .

[22]  J. Roger Hindley,et al.  Introduction to Combinators and Lambda-Calculus , 1986 .

[23]  Andreas Kathol,et al.  Extraposition via Complex Domain Formation , 1995, ACL.

[24]  Walt Detmar Meurers,et al.  Lexical Generalizations in the Syntax of German Non-Finite Constructions , 1999 .

[25]  Gerald Penn,et al.  A Formal Interpretation of Relations and Quantification in HPSG , 1999 .

[26]  I. Sag.  English relative clause constructions , 1997, Journal of Linguistics.

[27]  Bob Carpenter,et al.  The logic of typed feature structures , 1992 .

[28]  Michael Dorna,et al.  CUF - A Formalism for Linguistic Knowledge Representation , 1993 .

[29]  Gert Smolka,et al.  Feature-Constraint Logics for Unification Grammars , 1989, J. Log. Program..

[30]  Paul John King,et al.  Towards Truth In Head-Driven Phrase Structure Grammar , 1999 .

[31]  Thomas Ede Zimmermann,et al.  Intensional logic and two-sorted type theory , 1989, Journal of Symbolic Logic.

[32]  Robert T. Kasper,et al.  A Logical Semantics for Feature Structures , 1986, ACL.

[33]  A. Nerode,et al.  Linear automaton transformations , 1958 .

[34]  Mark Johnson,et al.  Attribute-value logic and the theory of grammar , 1988 .

[35]  A. M. Ramer.  Mathematical Methods in Linguistics , 1992 .

[36]  N. Cocchiarella,et al.  Situations and Attitudes. , 1986 .

[37]  Mike Reape,et al.  A formal theory of word order : a case study in West Germanic , 1994 .

[38]  M. Andrew Moshier,et al.  The domain of set-valued feature structures , 1994 .

[39]  Carl Pollard.  The Nature of Constraint-Based Grammar , 1997 .

[40]  H. Aït-Kaci.  A lattice theoretic approach to computation based on a calculus of partially ordered type structures (property inheritance, semantic nets, graph unification) , 1984 .

[41]  P. Blackburn.  Modal Logic and Attribute Value Structures , 1993 .

[42]  Mark Johnson.  Logic and Feature Structures , 1991, IJCAI.

[43]  Anne Abeillé,et al.  La complémentation des auxiliaires français , 1996 .

[44]  Marcus Kracht,et al.  Is there a genuine modal perspective on feature structures? , 1995 .

[45]  Ivan A. Sag,et al.  Book Reviews: Head-driven Phrase Structure Grammar and German in Head-driven Phrase-structure Grammar , 1996, CL.

[46]  Paul John King,et al.  The Complexity of Modellability in Finite and Computable Signatures of a Constraint Logic for Head-Driven Phrase Structure Grammar , 1999, J. Log. Lang. Inf..

[47]  William C. Rounds,et al.  A logic for partially specified data structures , 1987, POPL '87.

[48]  Eun-Jung Yoo,et al.  A unified theory of scope for quantifiers and wh-phrases , 1998, Journal of Linguistics.

[49]  Walt Detmar Meurers,et al.  Compiling HPSG Type Constraints into Definite Clause Programs , 1995, ACL.

[50]  Gert Smolka,et al.  Records for Logic Programming , 1994, J. Log. Program..

[51]  Andreas Kathol,et al.  Linearization-based German syntax , 1995 .

[52]  Michael Moshier,et al.  Extensions to unification grammar for the description of programming languages , 1988 .

[53]  Mike Reape,et al.  Getting things in order , 1996 .

[54]  S. Vickers.  Topology via Logic , 1989 .

[55]  Werner Abraham.  Groninger Arbeiten zur germanistischen Linguistik (43) , 1999 .

[56]  Walt Detmar Meurers,et al.  The ConTroll System as Large Grammar Development Platform , 1997, Workshop On Computational Environments For Grammar Development And Linguistic Engineering.

[57]  Gert Smolkaz,et al.  Deenite Relations over Constraint Languages , 1988 .

[58]  Edith Hemaspaandra,et al.  A modal perspective on the computational complexity of attribute value grammar , 1993, J. Log. Lang. Inf..

[59]  Adam Przepiórkowski,et al.  Case Assignment and the Complement/Adjunct Dichotomy: A Non-Configurational Constraint-Based Approach , 1999 .

[60]  Joxan Jaffar,et al.  From Unification to Constraints , 1987, LP.

[61]  Gert Smolka,et al.  A Feature Logic with Subsorts , 1988, LILOG-Report.

[62]  Gerald Penn.  Parametric Types for Typed Attribute-Value Logic , 1998, COLING-ACL.

[63]  P J Fox,et al.  THE FOUNDATIONS OF MECHANICS. , 1918, Science.

[64]  Patrick Blackburn.  Structures, Languages and Translations: the Structural Approach to Feature Logic , 1994 .

[65]  Thilo Götz,et al.  Feature constraint grammars , 1999 .

[66]  Thom W. Frühwirth,et al.  Polymorphically Typed Logic Programs , 1991, ICLP.

[67]  Jeroen Groenendijk,et al.  Semantic analysis of wh-complements , 1982 .