Johnson, Mark and Samuel Bayer. 1995. Features and agreement in lambek categorial grammar. In Proceedings of the Formal Grammar Workshop.  Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Set-Based Approach to Feature Resolution - Dalrymple, Kaplan (1997) (4 citations) (Correct)
....that it can appear as the single target of two conflicting demands: 7) Ich habe gegessen was ubrig war I have eaten what was left obj=acc subj=nom I ate what was left. Examples such as these have been widely discussed (Zaenen and Karttunen, 1984; Pullum and Zwicky, 1986; Ingria, 1990; Johnson and Bayer, 1995), since they pose a direct challenge for equality based treatments of agreement. We briefly discuss the two most obvious ways of extending the traditional approach and show why these proposals are not viable. 2.1 Indeterminacy as disjunction It may seem that we can obtain the desired result by ....
....constructions in terms of simple mathematical relations and structures, we provide a coherent account that still has all the descriptively necessary flexibility. Further, unlike Ingria s, the account we present makes use of structures and relations that are independently motivated in our theory. Johnson and Bayer (1995) also discuss the interaction of underspecification with case checking, presenting additional problems for certain approaches to case checking based on unification or equality constraints. They offer an alternative framework based on deduction in Lambek categorial grammar, arguing that ....
[Article contains additional citation context not shown here]
Johnson, Mark and Samuel Bayer. 1995. Features and agreement in lambek categorial grammar. In Proceedings of the Formal Grammar Workshop.
Agreement Modalities - Heylen (Correct)
....of feature value pairs) one could choose to ignore the features and leave them implicit (as we will do below) and one could choose to exclude structure sharing or reentrancy. Next, one has to choose a specific feature description language. Some of the options are: a propositional language (see [9]) a predicational language (see [11] or a modal language ( 12] Related to the choice of description language is the way of combining the feature and type logic. Some choices of layering and double layering the logics are discussed in [5] 6] and [7] One particular option of fibering a ....
....of Lambek style categorial grammars is to replace atomic basic categories by formulas taken from some feature logic ( 6] Such systems preserve the inferential capacities of the categorial logic, while allowing a way to decompose at least basic categories into features. In the system proposed by [9] the feature logic is a simple fragment of propositional logic. Crucially, functors and arguments do not combine through unification but the argument position of the functor must subsume the argument category: X=Y ffl Z X if Y subsumes Z (Y v Z, i.e. v(Z) v(Y ) We now give a more formal ....
[Article contains additional citation context not shown here]
Mark Johnson and Sam Bayer. Features and agreement in Lambek categorial grammar. In Glyn Morrill and Richard Oehrle, editors, Formal Grammar, pages 123--137, Barcelona, 1995.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC