home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / sci / logic / 1233 < prev    next >
Encoding:
Internet Message Format  |  1992-07-22  |  906 b 
  1. Path: sparky!uunet!sun-barr!sh.wide!wnoc-tyo-news!dclsic!yilnws!hamamatsu-pc.ac.jp!tutgw!tutkie!nucc!nuis!fabio
  2. From: fabio@inagaki.nuie.nagoya-u.ac.jp (Fabio Casablanca)
  3. Newsgroups: sci.logic
  4. Subject: Kleene 3-valued logic
  5. Message-ID: <FABIO.92Jul18144835@mars.inagaki.nuie.nagoya-u.ac.jp>
  6. Date: 18 Jul 92 05:48:35 GMT
  7. Sender: news@inagaki.nuie.nagoya-u.ac.jp
  8. Distribution: sci.logic
  9. Organization: Inagaki Lab., Dept. of Info. Eng., Nagoya Univ.
  10. Lines: 16
  11. Nntp-Posting-Host: mars.inagaki.nuie.nagoya-u.ac.jp
  12.  
  13.  
  14. I am interested in model theory connected to Kleene 3-valued logic.
  15.  
  16. I am also interested to applications of this logic to logic programming 
  17. and computer science.
  18.  
  19. Any pointer will be greatly appreciated.
  20.  
  21. fabio
  22. --
  23. Fabio CASABLANCA
  24.     Inagaki Laboratory-Information Engineering Dept.-Nagoya University
  25.     E-MAIL:fabio@mars.inagaki.nuie.nagoya-u.ac.jp
  26.     FAX NUMBER:(052)782-8260
  27.   
  28.         
  29.