doubts about lists

I started adding the lists, but doubts crept into my head after today's
discussion. My assumption was that the reason for the lists was to
benefit the dialects that have no function symbols.
(As Hasan noted today, it makes little sense to add lists to dialects with
function symbols.)

But where are those dialects that do not have function symbols?  I thought
that PR dialects need that, but PR people today said they do not.  In any
case, it seems that there is no good reason to stuff BLD with lists, since
BLD has function symbols. If we decide to keep lists for the future
potential function-less dialects, then they can be added to FLD only (since
FLD is a toolbox from which dialects pick-and-choose).
However, I somehow doubt that there will be takers: with lists you can
simulate arbitrary function terms and you get the same undecidability
results for entailment.


	--michael

Received on Wednesday, 12 March 2008 07:00:42 UTC