About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Article

First Page Preview
Bendová, Kamila ; Hájek, Petr
A logical analysis of the truth-reaction paradox. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 23 (1982), issue 4, pp. 699-713
MSC: 03B45, 03F30, 68G99, 68T99 | MR 687565 | Zbl 0514.03037
References:
[1] V. S. CHERNIAVSKY: On limitations of artificial intelligence. Inf. Systems 5 (1980), 121. Zbl 0447.68105
[2] H. B. ENDERTON: Elements of recursion theory. Handbook of Mathematical Logic (North-Holland P.C. 1977), 527-566. MR 0485262
[3] S. FEFERMAN: Transfinite recursive progressions of axiomatic theories. Journ. Symb. Log. 27 (1962), 259-316. MR 0172792
[4] I. M. HAVEL: The truth-reaction paradox: a probe of limitations of artificial intelligence. Proc. ECAI 82, Orsay 1982.
[5] C. SMORYŃSKI: The incompleteness theorems. Handbook of Math. Logic (North-Holland P.C. 1977), 821-862.
[6] R. SOLOVAY: Provability interpretations of modal logic. Israel Journ. Math. 25 (1976), 287-304. MR 0457153 | Zbl 0352.02019
Partner of
EuDML logo