Re: Kleene 3-valued logic

Article View: sci.logic

Article #88

#88

From: Mehmet Orgun
Date: Fri, 24 Jul 1992 16:38

34 lines
1644 bytes

ard@cs.bham.ac.uk (Antoni Diller) writes:

>In article <FABIO.92Jul18144835@mars.inagaki.nuie.nagoya-u.ac.jp> fabio@inagaki.nuie.nagoya-u.ac.jp (Fabio Casablanca) writes:
>>
>>I am interested in model theory connected to Kleene 3-valued logic.
>>
>>I am also interested to applications of this logic to logic programming 
>>and computer science.
>>
>>Any pointer will be greatly appreciated.
>>
>>fabio
>>--
>>Fabio CASABLANCA
>>    Inagaki Laboratory-Information Engineering Dept.-Nagoya University
>>    E-MAIL:fabio@mars.inagaki.nuie.nagoya-u.ac.jp
>>    FAX NUMBER:(052)782-8260
>>  
>>        

>Cliff Jones in his book `Systematic Software Development Using VDM' uses
>Kleene's logic in program verification; there are references in that book
>to various articles he and his students have written exploring this
>logic, which he calls LCF (I think, but I may be wrong).

>Antoni Diller

See the following reference for an application of Kripke-Kleene
3-valued logic to logic programming:

Melvin Fitting, A Kripke-Kleene semantics for logic programs,
J of Logic Programming, 2(1985) 295-312.

Mehmet.

Technical Details

Message-ID: <morgun.711995908@csr>

Path:

arc1-ca.pugleaf.net!sparky!uunet!olivea!apple!bionet!uwm.edu!rpi!batcomputer!cornell!uw-beaver!ubc-cs!news.UVic.CA!morgun

References: <FABIO.92Jul18144835@mars.inagaki.nuie.nagoya-u.ac.jp> <BrwCDG.BC@cs.bham.ac.uk>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!olivea!apple!bionet!uwm.edu!rpi!batcomputer!cornell!uw-beaver!ubc-cs!news.UVic.CA!morgun
From: morgun@csr.UVic.CA (Mehmet Orgun)
Newsgroups: sci.logic
Subject: Re: Kleene 3-valued logic
Message-ID: <morgun.711995908@csr>
Date: 24 Jul 92 16:38:28 GMT
References: <FABIO.92Jul18144835@mars.inagaki.nuie.nagoya-u.ac.jp> <BrwCDG.BC@cs.bham.ac.uk>
Sender: news@sol.UVic.CA
Distribution: sci.logic
Organization: University of Victoria
Lines: 34
Nntp-Posting-Host: csr.uvic.ca

Reply to Parent Message