Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Modelling the usage of partial functions and undefined terms using presupposition theory
Cramer, Marcos
2014 • In Geschke, Stefan; Loewe, Benedikt; Schlicht, Philipp (Eds.) Infinity, Computability and Metamathematics – Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch
[en] We describe how the linguistic theory of presuppositions can be used to analyse and model the usage of partial functions and undefined terms in mathematical texts. We compare our account to other accounts of partial functions and undefined terms, showing how our account models the actual usage of partial functions and undefined terms more faithfully than existing accounts. The model described in this paper has been developed for the Naproche system, a computer system for proof-checking mathematical texts written in controlled natural language, and has largely been implemented in this system.
Disciplines :
Computer science
Author, co-author :
Cramer, Marcos ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Language :
English
Title :
Modelling the usage of partial functions and undefined terms using presupposition theory
Publication date :
2014
Event name :
Infinity, computability, and metamathematics: Celebrating the 60th birthdays of Peter Koepke and Philip Welch
Event date :
from 23-05-2014 to 25-05-2014
Audience :
International
Main work title :
Infinity, Computability and Metamathematics – Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch