Kleene 3-valued logic

Thread View: sci.logic

3 messages

[T] Back to Threads [V] Tree View [G] Group Articles

3 total messages Started by Fabio Casablanca Sat, 18 Jul 1992 05:48

#85

Author: Fabio Casablanca
Date: Sat, 18 Jul 1992 05:48

16 lines
934 bytes

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

Re: Kleene 3-valued logic

#86

Author: 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

Re: Kleene 3-valued logic

#88

Author: 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.

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads