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
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
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
Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/