Previous |  Up |  Next


Title: 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 (English)
Author: Kramosil, Ivan
Language: English
Journal: Kybernetika
ISSN: 0023-5954
Volume: 9
Issue: 3
Year: 1973
Pages: (162)-173
Category: math
MSC: 03B99
MSC: 62D05
MSC: 62P99
idMR: MR0343415
Date available: 2009-09-24T16:32:24Z
Last updated: 2012-06-04
Stable URL:
Related article:
Reference: [1] Church Alonzo: Introduction to Mathematical Logic, Part. I.Princeton University Press, Princeton 1956. MR 1435972
Reference: [2] Gentzen Gerhardt: Untersuchungen über das logische Schliessen.Mathem. Zeitschrift 39 (1934-35), 176-210, 405-431.
Reference: [3] Hao Wang: A Survey of Symbolic Logic.Science Press, Peking; North Holland Publishing Co., Amsterdam 1962.
Reference: [4] Kramosil Ivan: A Method for Random Sampling of Well-Formed Formulas.Kybernetika 8 (1972), 2, 135-148. Zbl 0242.02014, MR 0343414
Reference: [5] Kramosil Ivan: Statistical Estimation of Deducibility in Polyadic Algebras.Kybernetika 7 (1971), 3, 181-200. MR 0300881
Reference: [6] Davis Martin: Conputability and unsolvability.McGraw Hill Book Company, New York, Toronto, London 1958. MR 0124208
Reference: [7] Kleene Stephen Cole: Introduction to Metamathematics.D. van Nostrand Company, New York, Toronto 1952. MR 0051790
Reference: [8] van Westrhenen S. C.: A probabilistic machine for the estimation of Probability in the first order predicate calculus.Zeitschr. für Math. Logik and Grundlagen der Math. 15 (1969), 291-297. MR 0263635
Reference: [9] van Westrhenen S. C.: Statistical Studies of Theoremhood in Classical Propositional and First-Order Predicate Calculus.Journal of the Association for Computing Machinery 19 (1972), 2, 347-365. Zbl 0246.68017, MR 0297524


Files Size Format View
Kybernetika_09-1973-3_2.pdf 632.8Kb application/pdf View/Open
Back to standard record
Partner of
EuDML logo