|To:||"Dr. Richard H. McCullough" <rhm@xxxxxxxxxxxxx>, "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>|
|Cc:||KR-language <kr-language@xxxxxxxxxxxxxxx>, "Richard S. Latimer" <rslatimer@xxxxxxx>|
|From:||David Whitten <whitten@xxxxxxxxxx>|
|Date:||Mon, 14 Apr 2014 11:50:52 -0400|
To my knowledge in IKL, that() is a way of quoting a proposition or a reifying mechanism for propositions, and is not a function definition or any kind of definition.
I don't think IKL (or Common Logic) supports what has traditionally been called "definitions" in first order predicate logic.
PS: I sent this note to clarify my understanding. If anyone can verify I am right or wrong, I would appreciate a note.
On Sun, Apr 13, 2014 at 12:06 PM, Richard H. McCullough <rhmccullough@xxxxxxxxx> 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)
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||Re: [ontolog-forum] named proposition isa logical function, David Whitten|
|Next by Date:||[ontolog-forum] Please remove me from the mailing list, Liping Di|
|Previous by Thread:||[ontolog-forum] IKL is a decent logic language, Richard H. McCullough|
|Next by Thread:||[ontolog-forum] Please remove me from the mailing list, Liping Di|
|Indexes:||[Date] [Thread] [Top] [All Lists]|