From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics
- We present an extension to Discourse Representation Theory that can be used to analyze mathematical texts written in the commonly used semi-formal language of mathematics (or at least a subset of it). Moreover, we describe an algorithm that can be used to check the resulting Proof Representation Structures for their logical validity and adequacy as a proof.
Download full text files
Additional Services
Statistics
| Author: | Jip Veldman, Bernhard FisseniGND, Bernhard SchröderGND, Peter Koepke |
|---|---|
| URN: | urn:nbn:de:bsz:mh39-82578 |
| ISBN: | 978-3-8233-6511-2 |
| Parent Title (Multiple languages): | Von der Form zur Bedeutung: Texte automatisch verarbeiten. From Form to Meaning: Processing Texts Automatically. Proceedings of the Biennial GSCL Conference 2009 |
| Publisher: | Narr |
| Place of publication: | Tübingen |
| Editor: | Christian Chiarcos, Richard Eckart de Castilho, Manfred Stede |
| Document Type: | Conference Proceeding |
| Language: | English |
| Year of first Publication: | 2009 |
| Date of Publication (online): | 2018/11/22 |
| Publicationstate: | Zweitveröffentlichung |
| Reviewstate: | (Verlags)-Lektorat |
| Tag: | Discourse Representation Theory; controlled natural language |
| GND Keyword: | Automatisches Beweisverfahren; Computerlinguistik; Formale Semantik; Natürliche Sprache; Texttechnologie |
| First Page: | 137 |
| Last Page: | 145 |
| DDC classes: | 400 Sprache / 400 Sprache, Linguistik |
| Open Access?: | ja |
| Linguistics-Classification: | Computerlinguistik |
| Licence (German): |  Urheberrechtlich geschützt |