Statistical theory of logical derivability
Kybernetika (1980)
- Volume: 16, Issue: 3, page (225)-239
- ISSN: 0023-5954
Access Full Article
top
How to cite
topŠindelář, Jan. "Statistical theory of logical derivability." Kybernetika 16.3 (1980): (225)-239. <http://eudml.org/doc/28278>.
@article{Šindelář1980,
author = {Šindelář, Jan},
journal = {Kybernetika},
keywords = {statistical theory of logical derivability; provability testing},
language = {eng},
number = {3},
pages = {(225)-239},
publisher = {Institute of Information Theory and Automation AS CR},
title = {Statistical theory of logical derivability},
url = {http://eudml.org/doc/28278},
volume = {16},
year = {1980},
}
TY - JOUR
AU - Šindelář, Jan
TI - Statistical theory of logical derivability
JO - Kybernetika
PY - 1980
PB - Institute of Information Theory and Automation AS CR
VL - 16
IS - 3
SP - (225)
EP - 239
LA - eng
KW - statistical theory of logical derivability; provability testing
UR - http://eudml.org/doc/28278
ER -
References
top- J. R. Schoenfield, Mathematical Logic, Addison-Wesley, 1967. (1967) MR0225631
- G. Getzen, Untersuchungen über das logische Schliessen I, II, Mathematische Zeitschrift 39 (1935), 176-210 (I), 404-431 (II). (1935) MR1545497
- I. Kramosil, A Method for Random Sampling of Well-Formed Formulas, Kybernetika 8 (1972), 2, 135-148. (1972) Zbl0242.02014MR0343414
- I. Kramosil, A Method for Statistical Testing of an at Random Sampled Formula, Kybernetika 9 (1973), 3, 162-173. (1973) Zbl0275.02018MR0343415
- J. Šindelář, Některé otázky statistické teorie dokazatelnosti, Research Report UTIA No.760, 1976. (1976)
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.