Specifying syntactic structures

1. A Grammar Formalism and Cross-Serial Dependencies 2. On Constraint-Based Lambek Calculi 3. On Reducing Principles to Rules 4. Structural control 5. Featureless HPSG 6. On Descriptive Complexity, Language Complexity, and GB 7. Feature trees over arbitrary structures 8. Dutch Verb Clustering without Verb Clusters 9. Approaches to Unification in Grammar: A Brief Survey.

[1]  Johan van Benthem,et al.  Language in action , 1991, J. Philos. Log..

[2]  J. Michael Dunn,et al.  Gaggle Theory: An Abstraction of Galois Connections and Residuation with Applications to Negation, Implication, and Various Logical Operations , 1990, JELIA.

[3]  Kosta Dosen,et al.  Modal translations in substructural logics , 1992, J. Philos. Log..

[4]  J. Lambek.  The Mathematics of Sentence Structure , 1958 .

[5]  Glyn Morrill,et al.  Type Logical Grammar: Categorial Logic of Signs , 1994 .

[6]  Michael Moortgat.  Multimodal Linguistic Inference , 1995, Log. J. IGPL.

[7]  J.F.A.K. van Benthem,et al.  Language in Action: Categories, Lambdas and Dynamic Logic , 1997 .

[8]  Michael Moortgat,et al.  Categorial Type Logics , 1997, Handbook of Logic and Language.

[9]  J. Lambek,et al.  Categorial and Categorical Grammars , 1988 .

[10]  Heinrich Wansing,et al.  Sequent Calculi for Normal Modal Proposisional Logics , 1994, J. Log. Comput..

[11]  Anna Bucalo,et al.  Modalities in linear logic weaker than the exponential “of course”: Algebraic and relational semantics , 1994, J. Log. Lang. Inf..

[12]  Glyn Morrill,et al.  Discontinuity in categorial grammar , 1995 .

[13]  Kosta Dosen,et al.  Sequent-systems and groupoid models. I , 1988, Stud Logica.

[14]  Yde Venema,et al.  Meeting strength in substructural logics , 1995, Stud Logica.

[15]  Koen Versmissen,et al.  Categorial grammar, modalities and algebraic semantics , 1993, EACL.

[16]  M. Kracht.  Power and Weakness of the Modal Display Calculus , 1996 .

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

[18]  N. Kurtonina,et al.  Frames and Labels. A modal analysis of categorial inference , 1995 .

[19]  Kosta Dosen,et al.  A Brief Survey of Frames for the Lambek Calculus , 1992, Math. Log. Q..