| Title:
|
Three semantical interpretations of a statistical theoremhood testing procedure (English) |
| Author:
|
Kramosil, Ivan |
| Language:
|
English |
| Journal:
|
Kybernetika |
| ISSN:
|
0023-5954 |
| Volume:
|
18 |
| Issue:
|
5 |
| Year:
|
1982 |
| Pages:
|
440-446 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03B05 |
| MSC:
|
03B35 |
| MSC:
|
03B50 |
| MSC:
|
68G15 |
| MSC:
|
68T15 |
| idZBL:
|
Zbl 0524.03007 |
| idMR:
|
MR686523 |
| . |
| Date available:
|
2009-09-24T17:30:13Z |
| Last updated:
|
2012-06-05 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/125865 |
| . |
| Reference:
|
[1] A. Špaček: Statistical estimation of provability in Boolean logics.In: Transactions of the Second Prague Conference on Information Theory, Statistical Decision Functions, Random Processes. NČSAV, Prague 1960, pp. 609-626. MR 0123477 |
| Reference:
|
[2] I. Kramosil: Statistical approach to proof theory.Supplement to Kybernetika 15 (1979), 98 pp. Zbl 0445.68068, MR 0562376 |
| Reference:
|
[3] I. Kramosil: Computational complexity of a statistical verification procedure for prepositional calculus.In: Third Czechoslovak-Soviet-Hungarian Seminar on Information Theory, institute of Information Theory and Automation, Czechoslovak Academy of Sciences, 1980, pp. 123-130. |
| . |
