Proof nets and the complexity of processing center embedded constructions

Mark Johnson*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

14 Citations (Scopus)


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.

Original languageEnglish
Pages (from-to)433-447
Number of pages15
JournalJournal of Logic, Language and Information
Issue number4
Publication statusPublished - 1998
Externally publishedYes


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


Dive into the research topics of 'Proof nets and the complexity of processing center embedded constructions'. Together they form a unique fingerprint.

Cite this