Počet záznamů: 1
Two kinds of procedural semantics for privative modification
- 1.0355596 - FLÚ 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
Počet záznamů: 1