The liar paradox and fuzzy logic

Journal of Symbolic Logic

Volumn 65, Issue 1, 2000, Pages 339-346

  Hájek, Petr ^a   Paris, Jeff ^b   Shepherdson, John ^c  

^a INSTITUTE OF COMPUTER SCIENCE   (Czech Republic)

^b UNIVERSITY OF MANCHESTER   (United Kingdom)

^c UNIVERSITY OF BRISTOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0034402468     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2586541     Document Type: Article

References (15)

1. L.E.J. BROUWER, Über Abbildungen von Mannigfaltigkeiten, Mathematische Annalen, vol. 71 (1910), pp. 97-115.
2. S. GOTTWALD, Mehrwertige Logik, Akademie-Verlag, Berlin, 1988.
3. P. GRIM, G. MAR, and P. ST. DENIS, The philosophical computer, Massachusets Institute of Technology, 1998.
4. P. HÁJEK, Fuzzy logic from the logical point of view, SOFSEM'95: Theory and practice of informatics (Milovy, Czech Republic, 1995) (M. Bartošek, J. Staudek, and J. Wiedermann, editors), Lecture Notes in Computer Science, vol. 1012, Springer-Verlag, pp. 31-49.
5. _, Ten questions and one problem on fuzzy logic, Submitted.
6. _, Fuzzy logic and arithmetical hierarchy II, Studia Logica, vol. 58 (1997), pp. 129-141, to appear.
7. _, Metamathematics of fuzzy logic, Kluwer, 1998.
8. P. HÁJEK and P. PUDLÁK, Metamathematics of first-order arithmetic, Springer-Verlag, 1993, 460 pp.
9. M. RAGAZ, Arithmetische Klassifikation von Formelnmengen der unendlichwertigen Logik, Ph.D. thesis, ETH Zürich, 1981.
10. J. D. RUTLEDGE, On the definition of an infinitely-valued predicate calculus, this JOURNAL, vol. 25 (1960), pp. 212-216.
11. B. SCARPELLINI, Die Nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz, this JOURNAL, vol. 27 (1962), pp. 159-170.
12. T. A. SKOLEM, Mengenlehre gegründet auf einer Logik mit unendlich vielen Wahrheitswerten, Sitzngsberichte Berliner Mathematische Gesellschaft, vol. 58 (1957), pp. 41-56.
13. D.R. SMART, Fixed point theorems, Cambridge University Press, 1974.
14. L.A. ZADEH, Liar's paradox and truth-qualification principle, ERL Memorandum M79/34, University of California, Berkeley 1979. See also (Klir, Yuan, editors: Fuzzy sets, fuzzy logic and fuzzy systems, selected papers of L.A. Zadeh, World Scientific 1996, pp. 449-463.
15. L.A. ZADEH, Liar's paradox and truth-qualification principle, ERL Memorandum M79/34, University of California, Berkeley 1979. See also (Klir, Yuan, editors: Fuzzy sets, fuzzy logic and fuzzy systems, selected papers of L.A. Zadeh, World Scientific 1996, pp. 449-463.