home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / sci / logic / 1327 < prev    next >
Encoding:
Internet Message Format  |  1992-08-31  |  1.6 KB
  1. Path: sparky!uunet!dtix!darwin.sura.net!jvnc.net!yale.edu!ira.uka.de!math.fu-berlin.de!informatik.tu-muenchen.de!gemenis
  2. From: gemenis@Informatik.TU-Muenchen.DE (Theodor Gemenis)
  3. Newsgroups: sci.logic
  4. Subject: Logics for empirical science.
  5. Keywords: logic, knowledge.
  6. Message-ID: <1992Aug31.142217.14509@Informatik.TU-Muenchen.DE>
  7. Date: 31 Aug 92 14:22:17 GMT
  8. Sender: news@Informatik.TU-Muenchen.DE (USENET Newssystem)
  9. Organization: Technische Universitaet Muenchen, Germany
  10. Lines: 27
  11. Originator: gemenis@sunjessen9.informatik.tu-muenchen.de
  12.  
  13.  
  14.  
  15. I am interested in logics appropriate for empirical science 
  16. (or logics for knowledge), that is logics for axiomatize theories 
  17. such as newtonian mechanics, electrodynamics, etc. theories also 
  18. beyond mathematics. 
  19. I know the work of R. Carnap, P. Suppes, J. Sneed on this field 
  20. and the work of N. Nilsson in AI (logic for knowledge representation).
  21.  
  22. I would be thankful for any indication concerning recent work
  23. in this domain. Information on implemented systems for such logics 
  24. is also from interest to me.
  25.  
  26. Thanks in advance,
  27.  
  28. Theodor Yemenis
  29. -- 
  30.  
  31.  
  32. _______________________________________________________________________________
  33.  Theodor Yemenis                           Forschungsgruppe KI - Intellektik
  34.  Institut f"ur Informatik         Lehrstuhl fuer Rechnerarchitektur
  35.  Technische Universit"at M"unchen
  36.  Augustenstr. 46                                 Tel.: +49-89/521099
  37.  D-8000 M"unchen 2                       Fax.: +49-89/526502
  38.                                    Email:gemenis@informatik.tu-muenchen.de
  39. _______________________________________________________________________________
  40.