A logical analysis of the truth-reaction paradox
Bendová, Kamila ; Hájek, Petr
Commentationes Mathematicae Universitatis Carolinae, Tome 023 (1982), p. 699-713 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1982-01-01
Classification:  03B45,  03F30,  68G99,  68T99 
@article{106189,
     author = {Kamila Bendov\'a and Petr H\'ajek},
     title = {A logical analysis of the truth-reaction paradox},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {023},
     year = {1982},
     pages = {699-713},
     zbl = {0514.03037},
     mrnumber = {687565},
     language = {en},
     url = {http://dml.mathdoc.fr/item/106189}
}

Bendová, Kamila; Hájek, Petr. A logical analysis of the truth-reaction paradox. Commentationes Mathematicae Universitatis Carolinae, Tome 023 (1982) pp. 699-713. http://gdmltest.u-ga.fr/item/106189/

V. S. Cherniavsky On limitations of artificial intelligence, Inf. Systems 5 (1980), 121. (1980) | Zbl 0447.68105

H. B. Enderton Elements of recursion theory, Handbook of Mathematical Logic (North-Holland P.C. 1977), 527-566. (1977) | MR 0485262

S. Feferman Transfinite recursive progressions of axiomatic theories, Journ. Symb. Log. 27 (1962), 259-316. (1962) | MR 0172792

I. M. Havel The truth-reaction paradox: a probe of limitations of artificial intelligence, Proc. ECAI 82, Orsay 1982. (1982)

C. Smoryński The incompleteness theorems, Handbook of Math. Logic (North-Holland P.C. 1977), 821-862. (1977)

R. Solovay Provability interpretations of modal logic, Israel Journ. Math. 25 (1976), 287-304. (1976) | MR 0457153 | Zbl 0352.02019