Re: SUO: RE: RE: A proposed SUO content outline
John,
At 01:18 PM 2/24/2001 -0400, John F. Sowa wrote:
>Dear Matthew and Ian,
[snip]
>Even the issue of writing definitions and axioms for them is
>not a big problem. There are plenty of axiomatizations for all
>of them that can be taken out of the literature of math, logic,
>and physics, dusted off, and translated into KIF, CGs, and
>many other notations.
Any pointers to recommended axiomatizations would be very helpful.
Adam
>[snip]
>John Sowa
-----------------
Adam Pease
Teknowledge
(650) 424-0500 x571