Proof Complexity and Textual Cohesion

Research output: Contribution to journalArticlepeer-review


In the first section of this paper I define a set of measures for proof complexity, which combine measures in terms of length and space. In the second section these measures are generalized to the broader category of formal texts. In the third section of the paper I outline several applications of the proposed theory.

Original languageEnglish
Pages (from-to)53-64
Number of pages12
JournalJournal of Logic, Language and Information
Issue number1
StatePublished - Mar 2014


  • Cohesion
  • Proof complexity
  • Text complexity
  • Texture

All Science Journal Classification (ASJC) codes

  • Computer Science (miscellaneous)
  • Philosophy
  • Linguistics and Language


Dive into the research topics of 'Proof Complexity and Textual Cohesion'. Together they form a unique fingerprint.

Cite this