| Title:
|
Statistical theory of logical derivability (English) |
| Author:
|
Šindelář, Jan |
| Language:
|
English |
| Journal:
|
Kybernetika |
| ISSN:
|
0023-5954 |
| Volume:
|
16 |
| Issue:
|
3 |
| Year:
|
1980 |
| Pages:
|
(225)-239 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03B35 |
| MSC:
|
03F20 |
| MSC:
|
62C99 |
| MSC:
|
68G15 |
| MSC:
|
68Q65 |
| MSC:
|
68T15 |
| idZBL:
|
Zbl 0444.03008 |
| idMR:
|
MR587570 |
| . |
| Date available:
|
2009-09-24T17:14:04Z |
| Last updated:
|
2012-06-05 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/125123 |
| . |
| Reference:
|
[1] J. R. Schoenfield: Mathematical Logic.Addison-Wesley, 1967. MR 0225631 |
| Reference:
|
[2] G. Getzen: Untersuchungen über das logische Schliessen I, II.Mathematische Zeitschrift 39 (1935), 176-210 (I), 404-431 (II). MR 1545497 |
| Reference:
|
[3] I. Kramosil: A Method for Random Sampling of Well-Formed Formulas.Kybernetika 8 (1972), 2, 135-148. Zbl 0242.02014, MR 0343414 |
| Reference:
|
[4] I. Kramosil: A Method for Statistical Testing of an at Random Sampled Formula.Kybernetika 9 (1973), 3, 162-173. Zbl 0275.02018, MR 0343415 |
| Reference:
|
[5] J. Šindelář: Některé otázky statistické teorie dokazatelnosti.Research Report UTIA No.760, 1976. |
| . |
