Re: definitions and analytic truth

• Mail folder: Interlingua Mail
• Next message: sowa@watson.ibm.com: "Definitions and analytic truth"
• Previous message: Robert MacGregor: "definitions and analytic truth "
• Maybe in reply to: Robert MacGregor: "definitions and analytic truth "
• Reply: Richard Fikes: "Re: Interlingua Reference Manual"

From: Vijay Saraswat <saraswat@parc.xerox.com>
To: interlingua@isi.edu
Cc: macgreg@isi.edu
In-Reply-To: Robert MacGregor's message of Fri, 3 Jan 1992 08:35:30 -0800
Subject: Re: definitions and analytic truth 
Message-id: <92Jan3.085218pst.14084@shraddha.parc.xerox.com>
Date: 	Fri, 3 Jan 1992 08:52:07 PST

I have seen various versions of a KIF definition. In the past,
the scope of the design has seemed rather ambitious to me, as
measured by the goal that it is intended to serve. But I have
withheld comment since the design seemed not to have jelled
completely, and I wanted to have an understanding of some
complete version of the design before commenting.

Has the design effort reached a local fixed-point now?  If so,
will someone responsible for the design please summarize its
current state briefly, and point us to the latest version of the
language definition/design document?

Vijay Saraswat