search

gruninger / Common-Logic

Documents for the developments of ISO 24707 Editiion 2 (Common Logic)
8 stars 3 forks source link

def of core interpretation #52

Closed fabianneuhaus closed 9 years ago

fabianneuhaus commented 9 years ago

(a) non-empty universe of discourse (b) the range of funI is total functions from UD_I* into UD_I (c) ArcC(E) are all discourse names

fabianneuhaus commented 9 years ago

this won't work after all

whitten commented 9 years ago

So to create a core interpretation of a Common Logic theory, what else do you need beyond the three you mentioned?

Btw, I assume UD_I is the Universe of Discourse of the Interpretation? I don't know the abbreviation ArcC and assume E is an element in the non-empty universe of discourse?

fabianneuhaus syggested that:

Def of core interpretation (a) non-empty universe of discourse (b) the range of funI is total functions from UD_I* into UD_I (c) ArcC(E) are all discourse names