[Top] [All Lists]

Re: [ontolog-forum] Common Logic is now an International Standard

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Chris Menzel <cmenzel@xxxxxxxx>
Date: Sat, 6 Oct 2007 15:20:28 -0500
Message-id: <20071006202028.GA3618@xxxxxxxx>
On Sat, Oct 06, 2007 at 09:12:02AM -0500, Pat Hayes wrote:
> >At risk of sounding like a compete geek (hard to deny if I am
> >answering email at 10:00 PM Friday night), could you please summarize
> >what this work is?
> Its a framework for defining logics, and a few useful logics
> pre-defined in the framework. The idea being that if you do describe
> your logic in this way, then it can be mechanically translated into
> any other logic also described this way, and they will have the same
> formal meaning. The logic in question is a very 'liberal' form of
> first-order logic, one that has a lot of unnecessary restrictions
> removed, so its can be used more ways that a more conventional logical
> notation.    (01)

Indeed -- though one can also define CL "dialects" that put those
restrictions back, should they be useful or desirable for some reason.    (02)

-chris    (03)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (04)

<Prev in Thread] Current Thread [Next in Thread>