Hello John, (01)
John F. Sowa wrote: (02)
>
>
> I believe that I can describe the conflict without writing down
> any formal axioms. (03)
But this is what I am begging you for!
I have become a practising Vulcan, and I can only proceed with formal
axioms. (04)
If pi calculus is a module, what is the fixed set of Common Logic axioms
in this module? (05)
I can point to Pat Hayes' Catalog of Temporal Theories and find a dozen
different sets of first-order axioms.
I can point to http://www.mel.nist.gov/psl/ontology.html and find forty
or so
sets of first-order axioms.
All of these sets of axioms can be modules in some ontology.
What is the analogous set for pi calculus? (06)
- michael (07)
_________________________________________________________________
Message Archives: http://colab.cim3.net/forum/ontac-forum/
To Post: mailto:ontac-forum@xxxxxxxxxxxxxx
Subscribe/Unsubscribe/Config:
http://colab.cim3.net/mailman/listinfo/ontac-forum/
Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
Community Wiki:
http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatingWG (08)
|