Kleene's logic, generalized

Journal of Logic and Computation

Volumn 1, Issue 6, 1991, Pages 797-810

  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

EID: 0000164466     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/1.6.797     Document Type: Article

References (19)

1. N. D. Belnap, Jr. (1977). A useful four-valued logic. In J. M. Dunn and G. Epstein (eds) Modern Uses of Multiple-Valued Logic, D. Reidel
2. J. M. Dunn (1969). Natural language versus formal language. Presented at the Joint APA-ASL symposium, New York, December
3. J. M. Dunn (1976). Intuitive semantics for first-degree entailments and coupled trees, Philosophical Studies, 29, 149-168
4. M. C. Fitting (1985). A Kripke/Kleene semantics for logic programs, Journal of Logic Programming, 2, 295-312
5. M. C. Fitting (1986). Notes on the mathematical aspects of Kripke’s theory of truth, Notre Dame Journal of Formal Logic, 27, 75-88
6. M. C. Fitting (1989). Bilattices and the theory of truth. Journal of Philosophical Logic 18, 225-256
7. M. C. Fitting (1989). Negation as refutation. In Proceedings of the Fourth Annual Symposium on Logic in Computer Science (1989), R. Parikh, Ed., IEEE, pp. 63-70
8. M. C. Fitting (1990). Bilattices in logic programming. In G. Epstein (ed.) The Twentieth International Symposium on Multiple-Valued Logic, IEEE, pp. 238-246
9. M. C. Fitting (1990). Kleene’s three-valued logics and their children. In Proceedings of the Bulgarian Kleene 90 Conference, forthcoming
10. M. C. Fitting (1991). Bilattices and the semantics of logic programming, Journal of Logic Programming, 11, 91-116
11. J. M. Font and M. Moussavi (1990). Note on a six-valued extension of three-valued logic. Mathematics Preprint 86, Universitat de Barcelona, November
12. O. N. Garcia and M. Moussavi (1990). A six-valued logic for representing incomplete knowledge. In G. Epstein (ed) Proc. Twentieth Int. Symp. on Multiple-Valued Logic, IEEE Computer Society Press, pp. 110-114
13. M. L. Ginsberg (1988). Multivalued logics: a uniform approach to reasoning in artificial intelligence, Computational Intelligence, 4, 265-316
14. S. C. Kleene (1950). Introduction to Metamathematics, Princeton, NJ, D. Van Nostrand
15. S. Kripke (1983). Outline of a theory of truth, The Journal of Philosphy, 72 (1975), 690-716. Reprinted in R. L. Martin (ed) New Essays on Truth and the Liar Paradox, Oxford
16. A. Romanowska and A. Trakul (1990). On the structure of some bilattices. In K. Hatkowsak and Stowski (eds) Universal and Applied Algebra, World Scientific
17. E. Sandewall (1985). A functional approach to non-monotonic logic. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence, pp. 100-106
18. D. Scott (1982). Some ordered sets in computer science. In I. Rival (ed.) Ordered Sets, D. Reidel, pp. 677-718
19. A. Visser (1989). Four valued semantics and the liar, Journal of Philosophical Logic, 13, 181-212