To: | "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx> |
---|---|
From: | Steven Ericsson-Zenith <steven@xxxxxxx> |
Date: | Wed, 2 Apr 2014 23:26:21 -0700 |
Message-id: | <CAAyxA7vMg7KP6MHjv1JjDVGtq1M8NLvHYROnhLeb9Y1s1iPmmQ@xxxxxxxxxxxxxx> |
Dear Pat, McCullough's axioms make little sense to me. Indeed, they do not appear, in fact, to be axioms. Regards,
Steven On Wed, Apr 2, 2014 at 8:21 PM, Pat Hayes <phayes@xxxxxxx> wrote:
_________________________________________________________________ Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/ Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx Shared Files: http://ontolog.cim3.net/file/ Community Wiki: http://ontolog.cim3.net/wiki/ To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (01) |
Previous by Date: | Re: [ontolog-forum] mKR proof of correctness, Richard H. McCullough |
---|---|
Next by Date: | Re: [ontolog-forum] mKR proof of correctness, doug foxvog |
Previous by Thread: | Re: [ontolog-forum] mKR proof of correctness, Pat Hayes |
Next by Thread: | Re: [ontolog-forum] mKR proof of correctness, Richard H. McCullough |
Indexes: | [Date] [Thread] [Top] [All Lists] |