# 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 (1972)

- Volume: 08, Issue: 2, page (133)-148
- ISSN: 0023-5954

## Access Full Article

top## How to cite

topKramosil, 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 08.2 (1972): (133)-148. <http://eudml.org/doc/28089>.

@article{Kramosil1972,

author = {Kramosil, Ivan},

journal = {Kybernetika},

language = {eng},

number = {2},

pages = {(133)-148},

publisher = {Institute of Information Theory and Automation AS CR},

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.)},

url = {http://eudml.org/doc/28089},

volume = {08},

year = {1972},

}

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

PB - Institute of Information Theory and Automation AS CR

VL - 08

IS - 2

SP - (133)

EP - 148

LA - eng

UR - http://eudml.org/doc/28089

ER -

## References

top- Ohama Shigeo, On a formalism which makes any sequence of symbols well-formed, Nagoya Math. J. 32 (1968), 1-4. (1968) MR0231705
- Church Alonzo, An introduction to Mathematical Logic, Part I, Princeton University Press, Princeton 1956. (1956) MR1435972
- Gentzen Gerhardt, Untersuchungen über das Logische Schliessen, Mathem. Zeitschrift 39 (1934-5), 176-210, 405-431. (1934)
- Kramosil Ivan, Statistical Estimation of Deducibility in Polyadic Algebras, Kybernetika 7 (1971), 3, 181-200. (1971) MR0300881

## Citations in EuDML Documents

top## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.