Proof Complexity and Textual Cohesion

Journal of Logic, Language and Information 24 (1):53-64 (2015)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1007/s10849-014-9212-1

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,445

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On the number of steps in proofs.Jan Kraj\mIček - 1989 - Annals of Pure and Applied Logic 41 (2):153-178.
On me number of steps in proofs.Jan Krajíèek - 1989 - Annals of Pure and Applied Logic 41 (2):153-178.
The Depth of Resolution Proofs.Alasdair Urquhart - 2011 - Studia Logica 99 (1-3):349-364.
Reasoning About Truth in First-Order Logic.Claes Strannegård, Fredrik Engström, Abdul Rahim Nizamani & Lance Rips - 2013 - Journal of Logic, Language and Information 22 (1):115-137.
Time complexity of a proof–search procedure for k4.Toshimasa Matsumoto - 2003 - Bulletin of the Section of Logic 32 (4):201-211.
Deissler Rank Complexity of Powers of Indecomposable Injective Modules.R. Chartrand & T. Kucera - 1994 - Notre Dame Journal of Formal Logic 35 (3):398-402.
Infinite Versions of Some Problems from Finite Complexity Theory.Jeffry L. Hirst & Steffen Lempp - 1996 - Notre Dame Journal of Formal Logic 37 (4):545-553.
A Negation-free Proof of Cantor's Theorem.N. Raja - 2005 - Notre Dame Journal of Formal Logic 46 (2):231-233.
A Syntactic Proof of the Decidability of First-Order Monadic Logic.Eugenio Orlandelli & Matteo Tesi - 2024 - Bulletin of the Section of Logic 53 (2):223-244.
Objectivity, information, and Maxwell's demon.Steven Weinstein - 2003 - Philosophy of Science 70 (5):1245-1255.

Analytics

Added to PP
2014-12-27

Downloads
33 (#563,164)

6 months
12 (#215,874)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Eli Dresner
Tel Aviv University

Citations of this work

No citations found.

Add more citations

References found in this work

Basic proof theory.A. S. Troelstra - 2000 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.

Add more references