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

["rick@xxxxxxxxxxxxxx" <rick@xxxxxxxxxxxxxx>]

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)

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 ...    (02)

Rick    (03)

paola.dimaio@xxxxxxxxx wrote:
> Rick
> thanks for interpreting your thoughts.  I am becoming increasingly
> interested in CL, although I am still working out how it relates to
> other formalisms, and how can I use it
> As discussed briefly with Welty last week, it appears obvious to me
> that CL is at core of NLP, so I am interested
> in your suggestion as a possible way forward in that direction
> thanks
> PDM
>     (04)





_________________________________________________________________
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    (05)