| Title:
|
Statistical testing procedure for lengths of formalized proofs (English) |
| Author:
|
Kramosil, Ivan |
| Language:
|
English |
| Journal:
|
Kybernetika |
| ISSN:
|
0023-5954 |
| Volume:
|
16 |
| Issue:
|
3 |
| Year:
|
1980 |
| Pages:
|
(209)-224 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03B35 |
| MSC:
|
03F20 |
| MSC:
|
62C99 |
| MSC:
|
68G15 |
| MSC:
|
68T15 |
| idZBL:
|
Zbl 0444.03007 |
| idMR:
|
MR587569 |
| . |
| Date available:
|
2009-09-24T17:13:57Z |
| Last updated:
|
2012-06-05 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/125119 |
| . |
| Reference:
|
[1] I. Kramosil: Statistical Approach to Proof Theory.Supplement to Kybernetika, 15 (1979). Zbl 0445.68068, MR 0562376 |
| Reference:
|
[2] J. Pavelka: On Fuzzy Logic I, II, III.To appear in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. MR 0524558 |
| Reference:
|
[3] A. Špaček: Statistical Estimation of Provability in Boolean Logics.In: Transactions of the Second Prague Conference on Information Theory..., NČSAV (Publishing House of the Czechoslovak Academy of Sciences), Prague 1960. MR 0123477 |
| Reference:
|
[4] O. Štěpánková I. M. Havel: A Logical Theory of Robot Problem Solving.Artificial Intelligence 7 (1976), 129-161. MR 0413627 |
| Reference:
|
[5] O. Štěpánková I. M. Havel: Incidental and State-Dependent Phenomena in Robot Problem Solving.Kybernetika 13 (1977), 6, 421-438. MR 0468377 |
| . |
