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

Ivan Kramosil

Kybernetika (1972)

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

How to cite

top

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

NotesEmbed ?

top

You must be logged in to post comments.