John F. Sowa schrieb: (01)
> PD> My, what a large definition of logic you have. (02)
May I point to a recent paper with title "What is a logic?",
that also has a rather broad (but formal!) view on the notion
of logic: (03)
http://www.tzi.de/~till/papers/nel05.pdf (04)
Till
--
Till Mossakowski Office: Phone +49-421-218-64226
DFKI Lab Bremen Cartesium Fax +49-421-218-9864226
Robert-Hooke-Str. 5 Enrique-Schmidt-Str. 5 Till.Mossakowski@xxxxxxx
D-28359 Bremen Room 2.051 http://www.tzi.de/~till (05)
Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH
principal office: Trippstadter Str. 122, D-67663 Kaiserslautern
management board: Prof. Wolfgang Wahlster (chair), Dr. Walter Olthoff
supervisory board: Prof. Hans A. Aukes (chair)
Amtsgericht Kaiserslautern, HRB 2313 (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)
|