[Top] [All Lists]

Re: [ontolog-forum] new logic

To: paoladimaio10@xxxxxxxxxxxxxx, "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>, Paola Di Maio <paola.dimaio@xxxxxxxxx>
Cc: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: bateman@xxxxxxxxxxxxx
Date: Mon, 16 Nov 2009 22:35:48 +0100
Message-id: <20091116223548.57287fuhbzx2pdbo@xxxxxxxxxxxxxxxxxxxxx>
Hi,    (01)

JSowa, and others, say that there is only one type of logic, FOL
<<<    (02)

I think this is a bit simple; perhaps well suited to stirring up
'old arguments' but not really on much of a track. Perhaps
the following will help you:    (03)

"What is a logic?" by
Till Mossakowski, Joseph Goguen, Razvan Diaconescu and Andrzej
Tarlecki    (04)

but warning, there's technical content ahead ...    (05)

http://cseweb.ucsd.edu/users/goguen/pps/nel05.pdf    (06)

Good luck.    (07)

John B.    (08)

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
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (09)

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