Proof Complexity and Textual Cohesion

Research output: Contribution to journalArticlepeer-review

Abstract

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
Volume24
Issue number1
DOIs
StatePublished - Mar 2014

Keywords

  • Cohesion
  • Proof complexity
  • Text complexity
  • Texture

Fingerprint

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

Cite this