This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories

10 found
Order:
  1. Mixed Computation: Grammar Up and Down the Chomsky Hierarchy.Diego Gabriel Krivochen - 2021 - Evolutionary Linguistic Theory 2 (3):215-244.
    Proof-theoretic models of grammar are based on the view that an explicit characterization of a language comes in the form of the recursive enumeration of strings in that language. That recur-sive enumeration is carried out by a procedure which strongly generates a set of structural de-scriptions Σ and weakly generates a set of strings S; a grammar is thus a function that pairs an element of Σ with elements of S. Structural descriptions are obtained by means of Context-Free phrase structure (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  2. Tokens Vs. Copies: Displacement Revisited.Diego Gabriel Krivochen - 2015 - Studia Linguistica 70 (3):250-296.
    In this paper we will analyze the conceptual and computational motivations of the property of displacement in natural languages from a revisited perspective. We will account for displacement phenomena proposing our own version of displacement-as-external token Merge, as opposed to the traditional displacement-as-literal movement or, more recently, displacement-as-copy and Merge (Chomsky 1995; Kitahara 1997; Nunes 2004). As far as empirical data is concerned, we will provide a brief analysis of parasitic gaps and their derivation, comparing our proposal with previous accounts (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  3. Head-Driven Phrase Structure Grammar: Linguistic Approach, Formal Foundations, and Computational Realization.Robert D. Levine & W. Detmar Meurers - 2006 - In Keith Brown (ed.), Encyclopedia of Language and Linguistics. Elsevier.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  4. Phrase Structure Grammar, Head‐Driven.Robert D. Levine - 2003 - In L. Nadel (ed.), Encyclopedia of Cognitive Science. Nature Publishing Group.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  5. Language, Lambdas, and Logic.Reinhard Muskens - 2003 - In R. Oehrle & J. Kruijff (eds.), Resource Sensitivity, Binding, and Anaphora (Studies in Linguistics and Philosophy 80). Dordrecht: Kluwer Academic Publishers. pp. 23--54.
    The paper develops Lambda Grammars, a form of categorial grammar that, unlike other categorial formalisms, is non-directional. Linguistic signs are represented as sequences of lambda terms and are combined with the help of linear combinators.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  6. Categorial Grammar and Lexical-Functional Grammar.Reinhard Muskens - 2001 - In Miriam Butt & Tracey Holloway King (eds.), Proceedings of the LFG01 Conference, University of Hong Kong. Stanford, CA: CSLI Publications. pp. 259-279.
    This paper introduces λ-grammar, a form of categorial grammar that has much in common with LFG. Like other forms of categorial grammar, λ-grammars are multi-dimensional and their components are combined in a strictly parallel fashion. Grammatical representations are combined with the help of linear combinators, closed pure λ-terms in which each abstractor binds exactly one variable. Mathematically this is equivalent to employing linear logic, in use in LFG for semantic composition, but the method seems more practicable.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  7. Talking About Trees and Truth-Conditions.Reinhard Muskens - 2001 - Journal of Logic, Language and Information 10 (4):417-455.
    We present Logical Description Grammar (LDG), a model ofgrammar and the syntax-semantics interface based on descriptions inelementary logic. A description may simultaneously describe the syntacticstructure and the semantics of a natural language expression, i.e., thedescribing logic talks about the trees and about the truth-conditionsof the language described. Logical Description Grammars offer a naturalway of dealing with underspecification in natural language syntax andsemantics. If a logical description (up to isomorphism) has exactly onetree plus truth-conditions as a model, it completely specifies thatgrammatical (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  8. Description Theory, LTAGs and Underspecified Semantics.Reinhard Muskens & Emiel Krahmer - 1998 - In Anne Abeillé, Tilman Becker, Giorgio Satta & K. Vijay-Shanker (eds.), Fourth International Workshop on Tree Adjoining Grammars and Related Frameworks. Philadelphia, PA: Institute for Research in Cognitive Science. pp. 112-115.
    An attractive way to model the relation between an underspecified syntactic representation and its completions is to let the underspecified representation correspond to a logical description and the completions to the models of that description. This approach, which underlies the Description Theory of Marcus et al. 1983 has been integrated in Vijay-Shanker 1992 with a pure unification approach to Lexicalized Tree-Adjoining Grammars (Joshi et al. 1975, Schabes 1990). We generalize Description Theory by integrating semantic information, that is, we propose to (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  9. The Logic of Unification in Grammar.Robert T. Kasper & William C. Rounds - 1990 - Linguistics and Philosophy 13 (1):35 - 58.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  10. Categorial Grammar — A Basis for a Natural Language Calculus?Hans Karlgren - 1978 - Studia Logica 37 (1):65-78.