M. Moortgat & R. T. Oehrle. 1996. Structural abstractions. V.M. Abrusci & C. Casadio, eds., Proofs and Linguistic Categories: Applications of Logic to the Analysis and Implementation of Natural Language, Proceedings of the 1996 Roma Workshop, Department of Philosophy, University of Bologna. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Remnant Movement and Complexity - Stabler (1999) (11 citations) (Correct)
.... be presented representationally, de ning the language of expressions with traces, chains and constraints, more along the lines explored by Brody (1995) In other work Cornell (1997b,1998a,1998b) shows how grammars of this sort can be implemented in the type logical framework presented in Moortgat (1996) and Moortgat and Oehrle (1996) These demonstrations go through, even more easily, in the simpler framework described here. See also the related work of Lecomte (1998) Retor e and Lecomte (1997) Becker (1998) Michaelis (1998) Michaelis and Wartena (1998) Szalai and Stabler (1998) Vermaat ....
.... representationally, de ning the language of expressions with traces, chains and constraints, more along the lines explored by Brody (1995) In other work Cornell (1997b,1998a,1998b) shows how grammars of this sort can be implemented in the type logical framework presented in Moortgat (1996) and Moortgat and Oehrle (1996). These demonstrations go through, even more easily, in the simpler framework described here. See also the related work of Lecomte (1998) Retor e and Lecomte (1997) Becker (1998) Michaelis (1998) Michaelis and Wartena (1998) Szalai and Stabler (1998) Vermaat (1998) 9 See Szalai ....
Moortgat, M. and R. T. Oehrle. 1996. Structural abstractions. In Proofs and Linguistic Categories: Applications of Logic to the Analysis and Implementation of Natural Language Theory: Proceedings 1996 Roma Workshop.
Partial Associativity and Conjunction: A Proof-Theoretic.. - Oehrle Chen January (1997) Self-citation (Oehrle) (Correct)
.... have (y(x) u(z(w) xfpast(f(x) b) y:sacrifice(y) 2(pawn) past( sacrifice(2(pawns) b) This illustrates the role that normalization plays in the terms associated with axiom leaves (although an alternative treatment integrates normalization of terms into the deductive system directly [12] and enforces term identity in the axiom leaves) 8 3.2 the associative substructural logic L Lambek s associative syntactic calculus L arises by adding to the postulates of NL the two structural rules of associativity Assoc1 and Assoc2. 2 Gamma[ Delta; Theta; Xi) a Gamma[ Delta; ....
M. Moortgat & R. T. Oehrle. 1996. Structural abstractions. V.M. Abrusci & C. Casadio, eds., Proofs and Linguistic Categories: Applications of Logic to the Analysis and Implementation of Natural Language, Proceedings of the 1996 Roma Workshop, Department of Philosophy, University of Bologna.
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