Advanced search
1 file | 205.00 KB

Two kinds of procedural semantics for privative modification

Author
Organization
Abstract
In this paper we present two kinds of procedural semantics for privative modification. We do this for three reasons. The first reason is to launch a tough test case to gauge the degree of substantial agreement between a constructivist and a realist interpretation of procedural semantics; the second is to extend Martin-L ̈f’s Constructive Type Theory to privative modification, which is characteristic of natural language; the third reason is to sketch a positive characterization of privation.
Keywords
constructivist interpretation, privative modification, realist interpretation, Martin-Lof constructive type theory, natural language, procedural semantics, type theory, programming language semantics, natural languages

Downloads

  • pj LNAIsubmission.pdf
    • full text
    • |
    • open access
    • |
    • PDF
    • |
    • 205.00 KB

Citation

Please use this url to cite or link to this publication:

Chicago
Primiero, Giuseppe, and Bjørn Jespersen. 2010. “Two Kinds of Procedural Semantics for Privative Modification.” In Lecture Notes in Computer Science, ed. Kumiyo Nakakoji, Yohei Murakami, and Eric McCready, 6284:252–271. Berlin, Germany: Springer.
APA
Primiero, G., & Jespersen, B. (2010). Two kinds of procedural semantics for privative modification. In K. Nakakoji, Y. Murakami, & E. McCready (Eds.), LECTURE NOTES IN COMPUTER SCIENCE (Vol. 6284, pp. 252–271). Presented at the New Frontiers in Artificial Intelligence : JSAI-isAI 2009 workshops : LENLS, JURISIN, KCSD, LLLL, Berlin, Germany: Springer.
Vancouver
1.
Primiero G, Jespersen B. Two kinds of procedural semantics for privative modification. In: Nakakoji K, Murakami Y, McCready E, editors. LECTURE NOTES IN COMPUTER SCIENCE. Berlin, Germany: Springer; 2010. p. 252–71.
MLA
Primiero, Giuseppe, and Bjørn Jespersen. “Two Kinds of Procedural Semantics for Privative Modification.” Lecture Notes in Computer Science. Ed. Kumiyo Nakakoji, Yohei Murakami, & Eric McCready. Vol. 6284. Berlin, Germany: Springer, 2010. 252–271. Print.
@inproceedings{1047303,
  abstract     = {In this paper we present two kinds of procedural semantics for privative modification. We do this for three reasons. The first reason is to launch a tough test case to gauge the degree of substantial agreement between a constructivist and a realist interpretation of procedural semantics; the second is to extend Martin-L \unmatched{0308}f{\textquoteright}s Constructive Type Theory to privative modification, which is characteristic of natural language; the third reason is to sketch a positive characterization of privation.},
  author       = {Primiero, Giuseppe and Jespersen, Bj{\o}rn},
  booktitle    = {LECTURE NOTES IN COMPUTER SCIENCE},
  editor       = {Nakakoji, Kumiyo and Murakami, Yohei and McCready, Eric},
  isbn         = {9783642148873},
  issn         = {0302-9743},
  keyword      = {constructivist interpretation,privative modification,realist interpretation,Martin-Lof constructive type theory,natural language,procedural semantics,type theory,programming language semantics,natural languages},
  language     = {eng},
  location     = {Tokyo, Japan},
  pages        = {252--271},
  publisher    = {Springer},
  title        = {Two kinds of procedural semantics for privative modification},
  url          = {http://dx.doi.org/10.1007/978-3-642-14888-0\_21},
  volume       = {6284},
  year         = {2010},
}

Altmetric
View in Altmetric