ontolog-forum
[Top] [All Lists]
<prev [Date] next>
[Advanced]
<prev [Thread] next>

Re: [ontolog-forum] named proposition isa logical function

from [Richard H. McCullough] [Permanent Link][Original]
To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Richard H. McCullough" <rhmccullough@xxxxxxxxx>
Date: 2014年4月14日 11:29:20 -0700
Message-id: <COL129-W461610B3A122BF01F60819CB510@xxxxxxx>
>
> In any case, IKL was not designed to support definitions, but to support
> metalanguage. That is a different, but related issue.
>
Regardless of the intent of the IKL design,
would you say that() defines a symbol?

What are the issues in metalanguage design?

Dick McCullough
Context Knowledge Systems

_________________________________________________________________
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)
[More with this subject...]
<Prev in Thread] Current Thread [Next in Thread>
Previous by Date: Re: [ontolog-forum] Health/Human/Social Services: the Open Referral data standards initiative , Greg Bloom
Next by Date: Re: [ontolog-forum] named proposition isa logical function , Richard H. McCullough
Previous by Thread: Re: [ontolog-forum] named proposition isa logical function , John F Sowa
Next by Thread: Re: [ontolog-forum] named proposition isa logical function , Richard H. McCullough
Indexes: [Date] [Thread] [Top] [All Lists]

AltStyle によって変換されたページ (->オリジナル) /