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 language | English |
|---|---|
| Pages (from-to) | 53-64 |
| Number of pages | 12 |
| Journal | Journal of Logic, Language and Information |
| Volume | 24 |
| Issue number | 1 |
| DOIs | |
| State | Published - Mar 2014 |
Keywords
- Cohesion
- Proof complexity
- Text complexity
- Texture
All Science Journal Classification (ASJC) codes
- Computer Science (miscellaneous)
- Philosophy
- Linguistics and Language