About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Article

First Page Preview
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.). (English). Kybernetika, vol. 8 (1972), issue 2, pp. (133)-148
MSC: 03B99, 62D05, 62P99 | MR 0343414 | Zbl 0242.02014
Related articles:
A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. II. A method for statistical testing of an at random sampled formula
References:
[1] Ohama Shigeo: On a formalism which makes any sequence of symbols well-formed. Nagoya Math. J. 32 (1968), 1-4. MR 0231705
[2] Church Alonzo: An introduction to Mathematical Logic, Part I. Princeton University Press, Princeton 1956. MR 1435972
[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 0300881
Partner of
EuDML logo