> > > If you have function symbols then semantic structures cannot be built > > whether you have signatures or not, because they are infinite. > > > If there is a set of signatures for a specific functional symbol p then > the arity of the symbol is implicitly defined. Then it might be the case > to require that I_F is to be defined just for these arities... Adrian, when all things were equal, I was trying to choose the simplest definition that I could think of. Restricting I_F to particular signatures seemed to me a significant complication. Your proposal gives the same semantics as far as I can see, and has no benefits -- only drawbacks (more complex description). --michael > > > > > --michael > > > > > > > -Adrian >Received on Wednesday, 13 February 2008 18:01:48 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:07:42 UTC