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
topNotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.