SUO: Re: Re: Formal SUMO Draft -- *Date 01 Feb 2002
From: "John F. Sowa" <sowa@bestweb.net>
> The NWI (New Work Item), which will be presented to the SG32
> committee in May, is a single standard for Logical Foundations (LF).
> KIF and CGs are two different syntaxes, whose rules will be included
> as external representations of the LF. However, there is nothing
> magical or required about either KIF or CGs, and any other syntax
> that can be formally mapped to the same LF would be equally suitable.
Is there any way we can take a look at a rough draft of the LF standard now
?
Seth Russell