Reference : Modelling the usage of partial functions and undefined terms using presupposition theory
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/19534
Modelling the usage of partial functions and undefined terms using presupposition theory
English
Cramer, Marcos mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
2014
Infinity, Computability and Metamathematics – Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch
Geschke, Stefan
Loewe, Benedikt
Schlicht, Philipp
College Publications
71-88
Yes
No
International
978-1-84890-130-8
London
United Kingdom
Infinity, computability, and metamathematics: Celebrating the 60th birthdays of Peter Koepke and Philip Welch
from 23-05-2014 to 25-05-2014
[en] partial functions ; undefined terms ; presuppositions ; domain conditions ; accommodation ; Naproche
[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.
Researchers ; Professionals
http://hdl.handle.net/10993/19534

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
Festschrift_revised2.pdfAuthor postprint305.15 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.