Fwd: Java objects vs. Frames

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