Geodesic
Statistical testing procedure for lengths of formalized proofs
Kybernetika, Tome 16 (1980) no. 3, pp. 209-224
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03B35, 03F20, 62C99, 68G15, 68T15 
@article{KYB_1980_16_3_a0,
     author = {Kramosil, Ivan},
     title = {Statistical testing procedure for lengths of formalized proofs},
     journal = {Kybernetika},
     pages = {209--224},
     year = {1980},
     volume = {16},
     number = {3},
     mrnumber = {587569},
     zbl = {0444.03007},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1980_16_3_a0/}
}
TY  - JOUR
AU  - Kramosil, Ivan
TI  - Statistical testing procedure for lengths of formalized proofs
JO  - Kybernetika
PY  - 1980
SP  - 209
EP  - 224
VL  - 16
IS  - 3
UR  - http://geodesic.mathdoc.fr/item/KYB_1980_16_3_a0/
LA  - en
ID  - KYB_1980_16_3_a0
ER  - 
%0 Journal Article
%A Kramosil, Ivan
%T Statistical testing procedure for lengths of formalized proofs
%J Kybernetika
%D 1980
%P 209-224
%V 16
%N 3
%U http://geodesic.mathdoc.fr/item/KYB_1980_16_3_a0/
%G en
%F KYB_1980_16_3_a0
Kramosil, Ivan. Statistical testing procedure for lengths of formalized proofs. Kybernetika, Tome 16 (1980) no. 3, pp. 209-224. http://geodesic.mathdoc.fr/item/KYB_1980_16_3_a0/

[1] I. Kramosil: Statistical Approach to Proof Theory. Supplement to Kybernetika, 15 (1979). | MR | Zbl

[2] J. Pavelka: On Fuzzy Logic I, II, III. To appear in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. | MR

[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

[4] O. Štěpánková I. M. Havel: A Logical Theory of Robot Problem Solving. Artificial Intelligence 7 (1976), 129-161. | MR

[5] O. Štěpánková I. M. Havel: Incidental and State-Dependent Phenomena in Robot Problem Solving. Kybernetika 13 (1977), 6, 421-438. | MR