Re: new BLD and the framework (FLD)

> 
> > 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
>