Journal of Logic, Language and Information

, Volume 7, Issue 4, pp 433–447

Proof Nets and the Complexity of Processing Center Embedded Constructions

  • Mark Johnson

DOI: 10.1023/A:1008386826277

Cite this article as:
Johnson, M. Journal of Logic, Language and Information (1998) 7: 433. doi:10.1023/A:1008386826277


This paper shows how proof nets can be used to formalize the notion of “incomplete dependency” used in psycholinguistic theories of the unacceptability of center embedded constructions. Such theories of human language processing can usually be restated in terms of geometrical constraints on proof nets. The paper ends with a discussion of the relationship between these constraints and incremental semantic interpretation.

Human sentence processingpsycholinguisticsresource logicsproof netscenter embeddingincomplete dependenciesincremental semantic

Copyright information

© Kluwer Academic Publishers 1998

Authors and Affiliations

  • Mark Johnson
    • 1
  1. 1.Department of Cognitive and Linguistic SciencesBrown UniversityProvidenceU.S.A.