Modelling the usage of partial functions and undefined terms using presupposition theory (bibtex)
by M. Cramer
Abstract:
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.
Reference:
Modelling the usage of partial functions and undefined terms using presupposition theory (M. Cramer), College Publications, 2014.
Bibtex Entry:
@Other{10993/19534,
  Title                    = {Modelling the usage of partial functions and undefined terms using presupposition theory},
  Abstract                 = {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.},
  Author                   = {Cramer, M.},
  Publisher                = {College Publications},
  Timestamp                = {2015.01.26},
  Year                     = {2014}
}
Powered by bibtexbrowser