Proof nets and the complexity of processing center embedded constructions

Journal of Logic, Language and Information

Volumn 7, Issue 4, 1998, Pages 433-447

  Johnson, Mark ^a  

^a BROWN UNIVERSITY   (United States)

Author keywords

Center embedding; Human sentence processing; Incomplete dependencies; Incremental semantic interpretation; Proof nets; Psycholinguistics; Resource logics

Indexed keywords

EID: 0039077711     PISSN: 09258531     EISSN: 15729583     Source Type: Journal    
DOI: 10.1023/A:1008386826277     Document Type: Conference Paper

References (15)

1. Chomsky, N., 1965, Aspects of the Theory of Syntax, Cambridge, MA: The MIT Press.
2. Chomsky, N. and Miller, G., 1963, "Finitary models of language users," pp. 419-492 in Handbook of Mathematical Psychology, Vol. 2, R. Luce, ed., New York: John Wiley and Sons.
3. Gibson, E. and Thomas, J., 1996, "The processing complexity of English center-embedded and self-embedded structures," in The Proceedings of the NELS, North Eastern Linguistic Society, ed., Amherst, MA: Graduate Student Association, University of Massachusetts.
4. Girard, J.-Y., 1995, "Linear Logic: Its syntax and semantics," pp. 1-42 in Advances in Linear Logic, J.-Y. Girard, Y. Lafont, and L. Regnier, eds., Cambridge, England: Cambridge University Press.
5. Girard, J.-Y., Lafont, Y., and Taylor, P., 1989, Proofs and Types, Cambridge Tracts in Theoretical Computer Science, Vol. 7, Cambridge, England: Cambridge University Press.
6. Lamarche, F. and Retoré, C., 1996, "Proof nets for the Lambek calculus - An overview," pp. 241-262 in Proofs and Linguistic Categories, Proceedings of the 1996 Roma Workshop, V.M. Abrusci and C. Casadio, eds., Bologna: Cooperativa Libraria Universitaria Editrice Bologna.
7. Lewis, R., 1996a, "Interference in short-term memory: The magical number two (or three) in sentence processing," Journal of Psycholinguistic Research 25(1), 93-115.
8. Lewis, R., 1996b, "A theory of grammatical but unacceptable embeddings," Unpublished manuscript, Ohio State University.
9. Moortgat, M., 1997, "Categorial type logics," pp. 93-178 in Handbook of Logic and Language, J. van Benthem and A. ter Meulen, eds., Cambridge, MA: The MIT Press.
10. Morrill, G.V., 1994, Type-Logical Grammar: Categorial Logic of Signs, Dordrecht: Kluwer Academic Publishers.
11. Retoré, C., 1996, "Calcul de Lambek et logique linéaire," Traitement Automatique des Langues 37(2), 39-70.
12. Roorda, D., 1991, "Resource logics: Proof-theoretical investigations," Ph.D. Thesis, University of Amsterdam.
13. Roorda, D., 1992, "Proof nets for Lambek calculus," Journal of Logic and Computation 2, 211-231.
14. Stabler, E.P., 1994, "The finite connectivity of linguistic structure," pp. 303-336 in Perspectives in Sentence Processing, C. Clifton, L. Frazier, and K. Rayner, eds., Hillsdale, NJ: Lawrence Erlbaum.
15. van Benthem, J., 1995, Language in Action: Categories, Lambdas and Dynamic Logic, Cambridge, MA: The MIT Press.