A theory of truth that prefers falsehood

Journal of Philosophical Logic

Volumn 26, Issue 5, 1997, Pages 477-500

  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: 0042954021     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1023/A:1004217812355     Document Type: Review

References (21)

1. Belnap, N. D., Jr.: A useful four-valued logic, In: J. M. Dunn and G. Epstein (eds.), Modern Uses of Multiple-Valued Logic, D. Reidel, 1977.
2. Dunn, J. M.: Intuitive semantics for first-degree entailments and coupled trees, Philosophical Studies 29 (1976), 149-168.
3. Fine, K.: The justification of negation as failure, In: J. E. Fenstad, I. T. Frolov and R. Hilpinen (eds.), Logic, Methodology and Philosophy of Science VIII, North-Holland, Amsterdam, 1989, 263-301.
4. Fitting, M. C.: A Kripke/Kleene semantics for logic programs, Journal of Logic Programming 2 (1985), 295-312.
5. Fitting, M. C.: Notes on the mathematical aspects of Kripke's theory of truth, Notre Dame Journal of Formal Logic 27 (1986), 75-88.
6. Fitting, M. C.: Bilattices and the theory of truth, Journal of Philosophical Logic 18 (1989), 225-256.
7. Fitting, M. C.: Kleene's logic, generalized, Journal of Logic and Computation 1 (1992), 797-810.
8. Fitting, M. C.: The family of stable models, Journal of Logic Programming 17 (1993), 197-225.
9. Gelfond, M. and Lifschitz, V.: The stable model semantics for logic programming, In: R. Kowalski and K. Bowen (eds.), Proc. of the Fifth Logic Programming Symposium, MIT Press, Cambridge, MA, 1988, 1070-1080.
10. Ginsberg, M. L.: Multivalued logics: a uniform approach to reasoning in artificial intelligence, Computational Intelligence 4 (1988), 265-316.
11. Gupta, A. K.: Truth and paradox, Journal of Philosophical Logic 11 (1982), 1-60.
12. Herzberger, H. G.: Naive semantics and the liar paradox, Journal of Philosophy 79 (1982), 479-497.
13. Kripke, S.: Outline of a theory of truth, The Journal of Philosophy 72 (1975), 690-716,
14. Reprinted in: New Essays on Truth and the Liar Paradox, R. L. Martin (ed.), Oxford 1983.
15. Manna, Z. and Shamir, A.: The optimal approach to recursive programs, Comm. ACM 20 (1977), 824-831.
16. Martin, R. L. and Woodruff, P. W.: On representing "true-in-l" in l, Philosophia 5 (1975), 217-221,
17. Reprinted in: Recent Essays on Truth and the Liar Paradox, R. L. Martin (ed.), Oxford, 1984.
18. Tarski, A.: A lattice-theoretical theorem and its applications, Pacific Journal of Mathematics 5 (1955), 285-309.
19. Visser, A.: Four valued semantics and the liar, Journal of Philosophical Logic 13 (1984), 181-212.
20. Woodruff, P. W.: Paradox, truth and logic, part I, Journal of Philosophical Logic 13 (1984), 213-232.
21. Yablo, S.: Truth and reflection, Journal of Philosophical Logic 14 (1985), 297-349.