Geodesic
Three semantical interpretations of a statistical theoremhood testing procedure
Kybernetika, Tome 18 (1982) no. 5, pp. 440-446 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03B05, 03B35, 03B50, 68G15, 68T15 
@article{KYB_1982_18_5_a5,
     author = {Kramosil, Ivan},
     title = {Three semantical interpretations of a statistical theoremhood testing procedure},
     journal = {Kybernetika},
     pages = {440--446},
     year = {1982},
     volume = {18},
     number = {5},
     mrnumber = {686523},
     zbl = {0524.03007},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1982_18_5_a5/}
}
TY  - JOUR
AU  - Kramosil, Ivan
TI  - Three semantical interpretations of a statistical theoremhood testing procedure
JO  - Kybernetika
PY  - 1982
SP  - 440
EP  - 446
VL  - 18
IS  - 5
UR  - http://geodesic.mathdoc.fr/item/KYB_1982_18_5_a5/
LA  - en
ID  - KYB_1982_18_5_a5
ER  - 
%0 Journal Article
%A Kramosil, Ivan
%T Three semantical interpretations of a statistical theoremhood testing procedure
%J Kybernetika
%D 1982
%P 440-446
%V 18
%N 5
%U http://geodesic.mathdoc.fr/item/KYB_1982_18_5_a5/
%G en
%F KYB_1982_18_5_a5
Kramosil, Ivan. Three semantical interpretations of a statistical theoremhood testing procedure. Kybernetika, Tome 18 (1982) no. 5, pp. 440-446. http://geodesic.mathdoc.fr/item/KYB_1982_18_5_a5/

[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

[2] I. Kramosil: Statistical approach to proof theory. Supplement to Kybernetika 15 (1979), 98 pp. | MR | Zbl

[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.