Kleene 3-valued logic

Article View: sci.logic

Article #85

#85

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

Technical Details

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

Path:

arc1-ca.pugleaf.net!sparky!uunet!sun-barr!sh.wide!wnoc-tyo-news!dclsic!yilnws!hamamatsu-pc.ac.jp!tutgw!tutkie!nucc!nuis!fabio

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!sun-barr!sh.wide!wnoc-tyo-news!dclsic!yilnws!hamamatsu-pc.ac.jp!tutgw!tutkie!nucc!nuis!fabio
From: fabio@inagaki.nuie.nagoya-u.ac.jp (Fabio Casablanca)
Newsgroups: sci.logic
Subject: Kleene 3-valued logic
Message-ID: <FABIO.92Jul18144835@mars.inagaki.nuie.nagoya-u.ac.jp>
Date: 18 Jul 92 05:48:35 GMT
Sender: news@inagaki.nuie.nagoya-u.ac.jp
Distribution: sci.logic
Organization: Inagaki Lab., Dept. of Info. Eng., Nagoya Univ.
Lines: 16
Nntp-Posting-Host: mars.inagaki.nuie.nagoya-u.ac.jp