Re: Kleene 3-valued logic

Article View: sci.logic

Article #86

#86

From: Antoni Diller
Date: Fri, 24 Jul 1992 14:03

24 lines
1308 bytes

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

Technical Details

Message-ID: <BrwCDG.BC@cs.bham.ac.uk>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!news.cs.bham.ac.uk!ard

References: <FABIO.92Jul18144835@mars.inagaki.nuie.nagoya-u.ac.jp>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!news.cs.bham.ac.uk!ard
From: ard@cs.bham.ac.uk (Antoni Diller)
Newsgroups: sci.logic
Subject: Re: Kleene 3-valued logic
Message-ID: <BrwCDG.BC@cs.bham.ac.uk>
Date: 24 Jul 92 14:03:15 GMT
References: <FABIO.92Jul18144835@mars.inagaki.nuie.nagoya-u.ac.jp>
Sender: news@cs.bham.ac.uk
Distribution: sci.logic
Organization: School of Computer Science, University of Birmingham, UK
Lines: 24
Nntp-Posting-Host: fattie

Reply to Parent Message