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)|
|Through your library||Configure|
Similar books and articles
Stathis 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.
Added to index2009-01-28
Total downloads2 ( #232,575 of 549,118 )
Recent downloads (6 months)0
How can I increase my downloads?