Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: SUO: 2000-7-26 example




Adam Pease wrote:
 
> Folks,
> This is interesting stuff but appears not to have any axioms defining
> these concepts.

Right.  I recognize the need to fill in the blanks.  But before
writing axioms, I'm trying to sketch out what the axioms will be
talking about.

There's more to come.

John Sowa