| Title:
|
A logical analysis of the truth-reaction paradox (English) |
| Author:
|
Bendová, Kamila |
| Author:
|
Hájek, Petr |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
23 |
| Issue:
|
4 |
| Year:
|
1982 |
| Pages:
|
699-713 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03B45 |
| MSC:
|
03F30 |
| MSC:
|
68G99 |
| MSC:
|
68T99 |
| idZBL:
|
Zbl 0514.03037 |
| idMR:
|
MR687565 |
| . |
| Date available:
|
2008-06-05T21:13:15Z |
| Last updated:
|
2012-04-28 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/106189 |
| . |
| Reference:
|
[1] V. S. CHERNIAVSKY: On limitations of artificial intelligence.Inf. Systems 5 (1980), 121. Zbl 0447.68105 |
| Reference:
|
[2] H. B. ENDERTON: Elements of recursion theory.Handbook of Mathematical Logic (North-Holland P.C. 1977), 527-566. MR 0485262 |
| Reference:
|
[3] S. FEFERMAN: Transfinite recursive progressions of axiomatic theories.Journ. Symb. Log. 27 (1962), 259-316. MR 0172792 |
| Reference:
|
[4] I. M. HAVEL: The truth-reaction paradox: a probe of limitations of artificial intelligence.Proc. ECAI 82, Orsay 1982. |
| Reference:
|
[5] C. SMORYŃSKI: The incompleteness theorems.Handbook of Math. Logic (North-Holland P.C. 1977), 821-862. |
| Reference:
|
[6] R. SOLOVAY: Provability interpretations of modal logic.Israel Journ. Math. 25 (1976), 287-304. Zbl 0352.02019, MR 0457153 |
| . |
