home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / sci / logic / 1234 < prev    next >
Encoding:
Internet Message Format  |  1992-07-23  |  1.2 KB
  1. Path: sparky!uunet!mcsun!uknet!news.cs.bham.ac.uk!ard
  2. From: ard@cs.bham.ac.uk (Antoni Diller)
  3. Newsgroups: sci.logic
  4. Subject: Re: Kleene 3-valued logic
  5. Message-ID: <BrwCDG.BC@cs.bham.ac.uk>
  6. Date: 24 Jul 92 14:03:15 GMT
  7. References: <FABIO.92Jul18144835@mars.inagaki.nuie.nagoya-u.ac.jp>
  8. Sender: news@cs.bham.ac.uk
  9. Distribution: sci.logic
  10. Organization: School of Computer Science, University of Birmingham, UK
  11. Lines: 24
  12. Nntp-Posting-Host: fattie
  13.  
  14. In article <FABIO.92Jul18144835@mars.inagaki.nuie.nagoya-u.ac.jp> fabio@inagaki.nuie.nagoya-u.ac.jp (Fabio Casablanca) writes:
  15. >
  16. >I am interested in model theory connected to Kleene 3-valued logic.
  17. >
  18. >I am also interested to applications of this logic to logic programming 
  19. >and computer science.
  20. >
  21. >Any pointer will be greatly appreciated.
  22. >
  23. >fabio
  24. >--
  25. >Fabio CASABLANCA
  26. >    Inagaki Laboratory-Information Engineering Dept.-Nagoya University
  27. >    E-MAIL:fabio@mars.inagaki.nuie.nagoya-u.ac.jp
  28. >    FAX NUMBER:(052)782-8260
  29. >  
  30. >        
  31.  
  32. Cliff Jones in his book `Systematic Software Development Using VDM' uses
  33. Kleene's logic in program verification; there are references in that book
  34. to various articles he and his students have written exploring this
  35. logic, which he calls LCF (I think, but I may be wrong).
  36.  
  37. Antoni Diller
  38.