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