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) Zbl 0242.02014


03B99 General logic
62P99 Applications of statistics
Full Text: EuDML


[1] Ohama Shigeo: On a formalism which makes any sequence of symbols well-formed. Nagoya Math. J. 32 (1968), 1-4. · Zbl 0165.01203
[2] Church Alonzo: An introduction to Mathematical Logic, Part I. Princeton University Press, Princeton 1956. · Zbl 0073.24301
[3] Gentzen Gerhardt: Untersuchungen über das Logische Schliessen. Mathem. Zeitschrift 39 (1934-5), 176-210, 405-431. · Zbl 0010.14601
[4] Kramosil Ivan: Statistical Estimation of Deducibility in Polyadic Algebras. Kybernetika 7 (1971), 3, 181-200. · Zbl 0216.29502
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.