Text structure and proof structure
Journal of Logic, Language and Information 9 (3):273-311 (2000)
| Abstract | This paper is concerned with the structure of texts in which aproof is presented. Some parts of such a text are assumptions, otherparts are conclusions. We show how the structural organisation of thetext into assumptions and conclusions helps to check the validity of theproof. Then we go on to use the structural information for theformulation of proof rules, i.e., rules for the (re-)construction ofproof texts. The running example is intuitionistic propositional logicwith connectives , and. We give new proofs of some familiar results aboutthe proof theory of this logic to indicate how the new techniques workout. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesStathis Psillos (2006). The Structure, the Whole Structure, and Nothing but the Structure? Philosophy of Science 73 (5):560-570.
Peter Schroeder-Heister (2002). Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen. Bulletin of Symbolic Logic 8 (2):246-265.
Ole T. Hjortland (2009). The Structure of Logical Consequence : Proof-Theoretic Conceptions. Dissertation, University of St Andrews
Carlo Cellucci (2008). Why Proof? What is a Proof? In Giovanna Corsi & Rossella Lupacchini (eds.), Deduction, Computation, Experiment. Exploring the Effectiveness of Proof, pp. 1-27. Springer.
M. Azar (1999). Argumentative Text as Rhetorical Structure: An Application of Rhetorical Structure Theory. Argumentation 13 (1):97-114.
J. Oberlander, P. Monaghan, R. Cox, K. Stenning & R. Tobin (1999). Unnatural Language Processing. Journal of Logic, Language and Information 8 (3):363-384.
Andrew Aberdein (2006). Proofs and Rebuttals: Applying Stephen Toulmin's Layout of Arguments to Mathematical Proof. In Marta Bílková & Ondřej Tomala (eds.), The Logica Yearbook 2005. Filosofia.
Sara Negri & Jan von Plato (2001). Structural Proof Theory. Cambridge University Press.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #232,575 of 549,118 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
