Geodesic
A method for random sampling of well-formed formulas. (A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. I.)
Kybernetika, Tome 8 (1972) no. 2, pp. 133-148 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03B99, 62D05, 62P99 
@article{KYB_1972_8_2_a2,
     author = {Kramosil, Ivan},
     title = {A method for random sampling of well-formed formulas. {(A} method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. {I.)}},
     journal = {Kybernetika},
     pages = {133--148},
     year = {1972},
     volume = {8},
     number = {2},
     mrnumber = {0343414},
     zbl = {0242.02014},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1972_8_2_a2/}
}
TY  - JOUR
AU  - Kramosil, Ivan
TI  - A method for random sampling of well-formed formulas. (A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. I.)
JO  - Kybernetika
PY  - 1972
SP  - 133
EP  - 148
VL  - 8
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/KYB_1972_8_2_a2/
LA  - en
ID  - KYB_1972_8_2_a2
ER  - 
%0 Journal Article
%A Kramosil, Ivan
%T A method for random sampling of well-formed formulas. (A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. I.)
%J Kybernetika
%D 1972
%P 133-148
%V 8
%N 2
%U http://geodesic.mathdoc.fr/item/KYB_1972_8_2_a2/
%G en
%F KYB_1972_8_2_a2
Kramosil, Ivan. A method for random sampling of well-formed formulas. (A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. I.). Kybernetika, Tome 8 (1972) no. 2, pp. 133-148. http://geodesic.mathdoc.fr/item/KYB_1972_8_2_a2/

[1] Ohama Shigeo: On a formalism which makes any sequence of symbols well-formed. Nagoya Math. J. 32 (1968), 1-4. | MR

[2] Church Alonzo: An introduction to Mathematical Logic, Part I. Princeton University Press, Princeton 1956. | MR

[3] Gentzen Gerhardt: Untersuchungen über das Logische Schliessen. Mathem. Zeitschrift 39 (1934-5), 176-210, 405-431.

[4] Kramosil Ivan: Statistical Estimation of Deducibility in Polyadic Algebras. Kybernetika 7 (1971), 3, 181-200. | MR