Two kinds of procedural semantics for privative modification
1.
SYSNO ASEP
0355596
Druh ASEP
C - Konferenční příspěvek (mezinárodní konf.)
Zařazení RIV
D - Článek ve sborníku
Název
Two kinds of procedural semantics for privative modification
Tvůrce(i)
Jespersen, Bjorn (FLU-F) Primiero, G. (IT)
Zdroj.dok.
New Frontiers in Artificial Intelligence. - Berlin : Springer, 2010 / Nakakoji K. ; Murakami Y. ; McCready E.
- ISBN 978-3-642-14887-3
Rozsah stran
s. 252-271
Poč.str.
20 s.
Akce
JSAI International Symposia on Artificial Intelligence
Datum konání
29.11.2010-30.11.2010
Místo konání
Tokyo
Země
JP - Japonsko
Typ akce
WRD
Jazyk dok.
eng - angličtina
Země vyd.
DE - Německo
Klíč. slova
logic ; semantics
Vědní obor RIV
AA - Filosofie a náboženství
CEZ
AV0Z90090514 - FLU-F (2005-2011)
UT WOS
000312598000021
EID SCOPUS
78649829333
Anotace
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.