home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / sci / logic / 1236 < prev    next >
Encoding:
Internet Message Format  |  1992-07-24  |  1.6 KB
  1. Path: sparky!uunet!olivea!apple!bionet!uwm.edu!rpi!batcomputer!cornell!uw-beaver!ubc-cs!news.UVic.CA!morgun
  2. From: morgun@csr.UVic.CA (Mehmet Orgun)
  3. Newsgroups: sci.logic
  4. Subject: Re: Kleene 3-valued logic
  5. Message-ID: <morgun.711995908@csr>
  6. Date: 24 Jul 92 16:38:28 GMT
  7. References: <FABIO.92Jul18144835@mars.inagaki.nuie.nagoya-u.ac.jp> <BrwCDG.BC@cs.bham.ac.uk>
  8. Sender: news@sol.UVic.CA
  9. Distribution: sci.logic
  10. Organization: University of Victoria
  11. Lines: 34
  12. Nntp-Posting-Host: csr.uvic.ca
  13.  
  14. ard@cs.bham.ac.uk (Antoni Diller) writes:
  15.  
  16. >In article <FABIO.92Jul18144835@mars.inagaki.nuie.nagoya-u.ac.jp> fabio@inagaki.nuie.nagoya-u.ac.jp (Fabio Casablanca) writes:
  17. >>
  18. >>I am interested in model theory connected to Kleene 3-valued logic.
  19. >>
  20. >>I am also interested to applications of this logic to logic programming 
  21. >>and computer science.
  22. >>
  23. >>Any pointer will be greatly appreciated.
  24. >>
  25. >>fabio
  26. >>--
  27. >>Fabio CASABLANCA
  28. >>    Inagaki Laboratory-Information Engineering Dept.-Nagoya University
  29. >>    E-MAIL:fabio@mars.inagaki.nuie.nagoya-u.ac.jp
  30. >>    FAX NUMBER:(052)782-8260
  31. >>  
  32. >>        
  33.  
  34. >Cliff Jones in his book `Systematic Software Development Using VDM' uses
  35. >Kleene's logic in program verification; there are references in that book
  36. >to various articles he and his students have written exploring this
  37. >logic, which he calls LCF (I think, but I may be wrong).
  38.  
  39. >Antoni Diller
  40.  
  41. See the following reference for an application of Kripke-Kleene
  42. 3-valued logic to logic programming:
  43.  
  44. Melvin Fitting, A Kripke-Kleene semantics for logic programs,
  45. J of Logic Programming, 2(1985) 295-312.
  46.  
  47. Mehmet.
  48.