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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
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.
Dresner, E., & Barak, S. (2006). Conversational multi-tasking in interactive written discourse as a communication competence. Communication Reports, 19, 70–78.
Dresner, E., & Barak, S. (2009). Effects of visual spatial structure on textual conversational multitasking. Communication Quarterly, 57, 104–115.
Foehr, U. G. (2006). Media multitasking among American youth: Prevalence, predictors and pairings. Kaiser Family Foundation. Retrieved July 10, 2012 from http://www.kff.org/entmedia/7592.cfm.
Halliday, M. (1994). An introduction to functional grammar. London: Edward Arnold.
Halliday, M., & Hasan, R. (1976). Cohesion in English. London: Longman.
Herring, S. (1999). Interactional coherence in CMC. Journal of Computer Mediated Communication, 4. Retrieved December 10, 2012 from http://jcmc.indiana.edu/vol4/issue4/herring.html.
Johnstone, B. (2008). Discourse analysis. Oxford: Blackwell.
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.
Martin, J. (2001). Cohesion and texture. In D. Schiffrin, D. Tannen, & H. Hamilton (Eds.), The handbook of discourse analysis. London: Blackwell.
Orevokv, V. (1993). Complexity of proofs and their transformations in axiomatic theories. Providence, RI: American Mathematical Society.
Patlridge, B. (2006). Discourse analysis. London: Continuum.
Pudlák, P. (1998). The lengths of proofs. In S. Buss (Ed.), Handbook of proof theory (pp. 547–637). Amsterdam: Elsevier.
Pohlers, W. (1989). Proof theory: An introduction. Berlin: Springer.
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.
Rafaeli, S., & Sudweeks, F. (1997). Networked interactivity. Journal of Computer-Mediated Communication, 2(4).
Troelstra, A., & Schwichtenberg, H. (2000). Basic proof theory. Cambridge: Cambridge University Press.
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.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Dresner, E. Proof Complexity and Textual Cohesion. J of Log Lang and Inf 24, 53–64 (2015). https://doi.org/10.1007/s10849-014-9212-1
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10849-014-9212-1