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