Journal of Logic, Language and Information

, Volume 24, Issue 1, pp 53–64 | Cite as

Proof Complexity and Textual Cohesion

  • Eli Dresner


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.


Proof complexity Text complexity Cohesion Texture 


  1. Amichai-Hamburger, Y., Fine, A., & Goldstein, A. (2004). The impact of Internet interactivity and need for closure on consumer preference. Computers in Human Behavior, 20(1), 103–117.CrossRefGoogle Scholar
  2. Dresner, E., & Barak, S. (2006). Conversational multi-tasking in interactive written discourse as a communication competence. Communication Reports, 19, 70–78.CrossRefGoogle Scholar
  3. Dresner, E., & Barak, S. (2009). Effects of visual spatial structure on textual conversational multitasking. Communication Quarterly, 57, 104–115.CrossRefGoogle Scholar
  4. Foehr, U. G. (2006). Media multitasking among American youth: Prevalence, predictors and pairings. Kaiser Family Foundation. Retrieved July 10, 2012 from
  5. Halliday, M. (1994). An introduction to functional grammar. London: Edward Arnold.Google Scholar
  6. Halliday, M., & Hasan, R. (1976). Cohesion in English. London: Longman.Google Scholar
  7. Herring, S. (1999). Interactional coherence in CMC. Journal of Computer Mediated Communication, 4. Retrieved December 10, 2012 from
  8. Johnstone, B. (2008). Discourse analysis. Oxford: Blackwell.Google Scholar
  9. Koolstra, C., Ritterfeld, U., & Vorderer, P. (2009). Media choice despite of multitasking? In T. Hartmann (Ed.), Media choice: A theoretical and empirical overview (pp. 234–246). London: Routledge.Google Scholar
  10. Martin, J. (2001). Cohesion and texture. In D. Schiffrin, D. Tannen, & H. Hamilton (Eds.), The handbook of discourse analysis. London: Blackwell.Google Scholar
  11. Orevokv, V. (1993). Complexity of proofs and their transformations in axiomatic theories. Providence, RI: American Mathematical Society.Google Scholar
  12. Patlridge, B. (2006). Discourse analysis. London: Continuum.Google Scholar
  13. Pudlák, P. (1998). The lengths of proofs. In S. Buss (Ed.), Handbook of proof theory (pp. 547–637). Amsterdam: Elsevier.CrossRefGoogle Scholar
  14. Pohlers, W. (1989). Proof theory: An introduction. Berlin: Springer.CrossRefGoogle Scholar
  15. Rafaeli, S. (1988). Interactivity: From new media to communication. In R. P. Hawkins, J. M. Wiemann, & S. Pingree (Eds.), Advancing communication science: Merging mass and interpersonal process (pp. 110–134). Newbury Park, CA: Sage.Google Scholar
  16. Rafaeli, S., & Sudweeks, F. (1997). Networked interactivity. Journal of Computer-Mediated Communication, 2(4).Google Scholar
  17. Troelstra, A., & Schwichtenberg, H. (2000). Basic proof theory. Cambridge: Cambridge University Press.CrossRefGoogle Scholar
  18. Warnick, B., Xenos, M., Endres, D., & Gastil, J. (2005). Effects of campaign-to user and text-based interactivity in political candidate campaign web sites. Journal of Computer-Mediated Communication 10(3), article 5.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2014

Authors and Affiliations

  1. 1.Department PhilosophyTel Aviv UniversityRamat Aviv, Tel AvivIsrael

Personalised recommendations