> 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... > > --michael > > > -AdrianReceived on Wednesday, 13 February 2008 08:58:34 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:07:42 UTC