Statistical theory of logical derivability

Previous | Up | Next

Article

Statistical theory of logical derivability. (English). Kybernetika, vol. 16 (1980), issue 3, pp. (225)-239

MSC: 03B35, 03F20, 62C99, 68G15, 68Q65, 68T15 | MR 587570 | Zbl 0444.03008

References:

[1] J. R. Schoenfield: Mathematical Logic. Addison-Wesley, 1967. MR 0225631

[2] G. Getzen: Untersuchungen über das logische Schliessen I, II. Mathematische Zeitschrift 39 (1935), 176-210 (I), 404-431 (II). MR 1545497

[3] I. Kramosil: A Method for Random Sampling of Well-Formed Formulas. Kybernetika 8 (1972), 2, 135-148. MR 0343414 | Zbl 0242.02014

[4] I. Kramosil: A Method for Statistical Testing of an at Random Sampled Formula. Kybernetika 9 (1973), 3, 162-173. MR 0343415 | Zbl 0275.02018

[5] J. Šindelář: Některé otázky statistické teorie dokazatelnosti. Research Report UTIA No.760, 1976.

Partner of