- From: Adrian Paschke <Adrian.Paschke@gmx.de>
- Date: Tue, 14 Oct 2008 18:43:24 +0200
- To: public-rif-wg@w3.org
- Cc: csma@ilog.fr, cawelty@gmail.com, gary.hallmark@oracle.com
Java type systems are usually not considered as interpretations in the strict model-theoretic definition, but are composite structures involving several different structures whose elements have a certain inner composition. However, transformations of composite structures into their at model theoretic presentations is in the majority of cases possible. So, we could define some kind of flattening from objects used in PRD to model theoretic structures. Moreover, from a practical point of view, it is convenient to neglect the inner composition of the elements of the universe of a structure. We an additional definition of isomorphism we could e.g. relate Boolean objects to model theoretic truth values, Integer objects to numbers, collections to "flattened" lists etc. - Adrian -- GMX Kostenlose Spiele: Einfach online spielen und Spaß haben mit Pastry Passion! http://games.entertainment.gmx.net/de/entertainment/games/free/puzzle/6169196
Received on Tuesday, 14 October 2008 16:44:05 UTC