[Top] [All Lists]

Re: [ontolog-forum] formal systems, common logic and lbase

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Christopher Menzel <cmenzel@xxxxxxxx>
Date: Sun, 25 Nov 2007 20:04:08 -0600
Message-id: <C330B282-E3DC-49DF-9A64-FB5CC1C67A21@xxxxxxxx>
On Nov 25, 2007, at 6:11 PM, rick@xxxxxxxxxxxxxx wrote:
> Thanks Paola and yes I am also interested in how CL & LBase relate  
> to other formalisms. I'm spending most my time right now  
> investigating the information flow framework (IFF), category theory  
> (CT) and Haskell. The Feferman paper caught my eye because the  
> proposition to redefine formal systems seems to point in the general  
> direction that IFF and CT have gone.    (01)

IFF and CT only subsume the notion of a formal system under a more  
general theoretical umbrella, they don't redefine it.    (02)

> Sorry I'm at the airport right now and don;t have access to the  
> network, but I've seen some information on Common Logic Controlled  
> English (CLCE), that may be of some interest to you ...    (03)

You are referring to John Sowa's 2004 work, right?    (04)

   http://www.jfsowa.com/clce/specs.htm    (05)

-chris    (06)

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    (07)

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