W3C home > Mailing lists > Public > public-rif-wg@w3.org > May 2009

Re: Review of FLD

From: Michael Kifer <kifer@cs.sunysb.edu>
Date: Tue, 19 May 2009 11:56:47 -0400
To: Chris Welty <cawelty@gmail.com>
Cc: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>
Message-ID: <20090519115647.285fa999@kiferserv>


On Tue, 19 May 2009 09:11:24 -0400
Chris Welty <cawelty@gmail.com> wrote:

> > Is ?X("abc"^^xs:string ?W)(?Y ?Z(?V "33"^^xs:integer)) an instance of Henkin's
> > or CL syntax? Hint: check what plays the role of a function here.  
> 
> Ah, I see.  Henkin did not have functions.  Yes, this is valid CL syntax, and is 
> still compact so still first order.  My understanding of compactness is that 
> functions and constants are interchangeable in terms of their impact on it.

Are you saying that CL allows f(a)(b)(?X, foo) and things like that?
I remember SKIF didn't have it and when I pointed this out to Pat he vigorously
objected to this kind of terms.

As far as I am aware, these terms were first introduced in HiLog - more than 10
years before CL.

-- 
    -- michael
Received on Tuesday, 19 May 2009 15:57:24 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:34:08 GMT