caa a22 4500 475800141 CHVBK 20180406123735.0 cr unu---uuuuu 170329e20000701xx s 000 0 eng 10.1023/A:1008309715242 doi (NATIONALLICENCE)springer-10.1023/A:1008309715242 Vermeulen C.F.M. Linguistics Department and Philosophy Department, Utrecht University, Trans 10, 3512 JK, Utrecht, The Netherlands aut Text Structure and Proof Structure [Elektronische Daten] [C.F.M. Vermeulen] 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. Kluwer Academic Publishers, 2000 discourse semantics nationallicence discourse structure nationallicence dynamic semantics nationallicence proof theory nationallicence Journal of Logic, Language and Information Kluwer Academic Publishers 9/3(2000-07-01), 273-311 0925-8531 9:3<273 2000 9 10849 https://doi.org/10.1023/A:1008309715242 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1023/A:1008309715242 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Vermeulen C.F.M. Linguistics Department and Philosophy Department, Utrecht University, Trans 10, 3512 JK, Utrecht, The Netherlands aut NATIONALLICENCE 773 0- Journal of Logic, Language and Information Kluwer Academic Publishers 9/3(2000-07-01), 273-311 0925-8531 9:3<273 2000 9 10849 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer