Re: Model Theory draft + tidiness

On 2002-01-27 20:13, "ext Jeremy Carroll" <jjc@hplb.hpl.hp.com> wrote:


> I think there are some editorial issues that have left confusion.
> 
> Sergey, wanting tidiness, read tidiness.
> Jeremy, wanting untidiness, read untidiness.
> 
> I think the document probably allows both readings.

And the TDL model, being based on labels and not nodes, supports
either case.

So, perhaps all that is needed in order to address Sergey's and
Dan's (and others) concerns about tidiness, is to revise the
TDL MT to reflect the label-based axiomatic qualities of
interpretation defined by TDL.

Eh?

Patrick

--
               
Patrick Stickler              Phone: +358 50 483 9453
Senior Research Scientist     Fax:   +358 7180 35409
Nokia Research Center         Email: patrick.stickler@nokia.com

Received on Monday, 28 January 2002 05:13:50 UTC