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