Počet záznamů: 1

Two kinds of procedural semantics for privative modification

  1. 1.
    0355596 - FLU-F 2011 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
    Jespersen, Bjorn - Primiero, G.
    Two kinds of procedural semantics for privative modification.
    New Frontiers in Artificial Intelligence. Berlin: Springer, 2010 - (Nakakoji, K.; Murakami, Y.; McCready, E.), s. 252-271. Lecture Notes in Computer Science, 6284. ISBN 978-3-642-14887-3.
    [JSAI International Symposia on Artificial Intelligence. Tokyo (JP), 29.11.2010-30.11.2010]
    Výzkumný záměr: CEZ:AV0Z90090514
    Klíčová slova: logic * semantics
    Kód oboru RIV: AA - Filosofie a náboženství

    In this paper we present two kinds of procedural semantics for privative modi cation. We do this for three reasons. The rst 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 Constructive Type Theory to privative modification, which is characteristic of natural language; the third reason is to sketch a positive characterization of privation.
    Trvalý link: http://hdl.handle.net/11104/0194330