Kleene’s three valued logics and their children

Fundamenta Informaticae

Volumn 20, Issue 1-3, 1994, Pages 113-131

  Fitting, Melvin ^a,b  

^a CITY UNIVERSITY OF NEW YORK   (United States)

^b CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; DISTRIBUTED COMPUTER SYSTEMS; INFORMATION THEORY; LISP (PROGRAMMING LANGUAGE); LOGIC PROGRAMMING; COMPUTER CIRCUITS;

DISTRIBUTIVE BILATTICES; GUARD CONNECTIVE; KLEENE'S THREE VALUED LOGICS; MONOTINICITY; REGULARITY;

MANY VALUED LOGICS;

BILATTICES; FOUR-VALUED LOGIC; PROPERTY; THREE-VALUED LOGIC;

EID: 0028386653     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/FI-1994-201234     Document Type: Article

References (15)

1. Belnap, Jr., N. D. A useful four-valued logic. In Modem Uses of Multiple-Valued Logic, J. M. Dunn and G. Epstein, Eds. D. Reidel, 1977.
2. Dunn, J. M. Natural language versus formal language, presented at the Joint APA-ASL symposium, New York, dec 1969.
3. Dunn, J. M. Intuitive semantics for first-degree entailments and coupled trees. Philosophical Studies 29 (1976), 149-168.
4. Dunn, J. M. Relevance logic and entailment. In Handbook of Philosophical Logic, Volume 3, D. Gabbay and F. Guenthner, Eds. D. Reidel, 1986, ch. 3, pp. 117-224.
5. [51 FITTING, M. C. Bilattices and the theory of truth. Journal of Philosophical Logic 18 (1989), 225-256.
6. Fitting, M. C. Negation as refutation. In Proceedings of the Fourth Annual Symposium on Logic in Computer Science (1989), R. Parikh, Ed., IEEE, pp. 63-70.
7. Fitting, M. C. Bilattices and the semantics of logic programming. Journal of Logic Programming 11 (1991), 91-116.
8. Fitting, M. C. Kleene’s logic, generalized. Journal of Logic and Computation 1 (1992), 797-810.
9. Fitting, M. C. The family of stable models. Journal of Logic Programming 17 (1993), 197-225.
10. Fitting, M. C. On prudent bravery and other abstractions. In preparation, 1993.
11. Ginsberg, M. L. Multivalued logics: a uniform approach to reasoning in artificial intelligence. Computational Intelligence 4 (1988), 265-316.
12. Kleene, S. C. Introduction to Metamathematics. D. Van Nostrand, Princeton, NJ, 1950.
13. Kripke, S. Outline of a theory of truth. The Journal of Philosophy 72 (1975), 690-716. Reprinted in New Essays on Truth and the Liar Paradox, R. L. Martin, ed., Oxford (1983).
14. Smullyan, R. M. First-Order Logic. Springer-Verlag, 1968.
15. Visser, A. Four valued semantics and the liar. Journal of Philosophical Logic 13(1984), 181-212.