definition of Variant in WD

gruninger / Common-Logic

Documents for the developments of ISO 24707 Editiion 2 (Common Logic)

8 stars 3 forks source link

Open fabianneuhaus opened 10 years ago

fabianneuhaus commented 10 years ago

there is a discrepancy to the definition in Tara and my proposal, which may not be intentional.

greenTara commented 10 years ago

What is the discrepancy?

fabianneuhaus commented 10 years ago

The variant need to pick something from the UD. Fabian

greenTara commented 10 years ago

Do you mean that when defining an S-variant, that S should be a subset of UD? That seems reasonable to me.

CL-mailing-list commented 10 years ago

No, I mean that if J is a {x}-variant of I, then J(x) \in UD. The same for sequence markers.

greenTara commented 10 years ago

I see. Yes, that is critical to satisfying the requirement that quantifications range over the domain of discourse.