| 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.) (English) |
| Title:
|
Metoda pro náhodný výběr správně vytvořených formulí. (Metoda pro náhodný výběr formulí nějaké elementární teorie a statistický odhad jejich dokazatelnosti doplněná programem. I) (Czech) |
| Author:
|
Kramosil, Ivan |
| Language:
|
English |
| Journal:
|
Kybernetika |
| ISSN:
|
0023-5954 |
| Volume:
|
8 |
| Issue:
|
2 |
| Year:
|
1972 |
| Pages:
|
(133)-148 |
| Summary lang:
|
Czech |
| . |
| Category:
|
math |
| . |
| MSC:
|
03B99 |
| MSC:
|
62D05 |
| MSC:
|
62P99 |
| idZBL:
|
Zbl 0242.02014 |
| idMR:
|
MR0343414 |
| . |
| Date available:
|
2009-09-24T16:23:46Z |
| Last updated:
|
2012-06-04 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/124934 |
| . |
| Related article:
|
http://dml.cz/handle/10338.dmlcz/125205 |
| . |
| Reference:
|
[1] Ohama Shigeo: On a formalism which makes any sequence of symbols well-formed.Nagoya Math. J. 32 (1968), 1-4. MR 0231705 |
| Reference:
|
[2] Church Alonzo: An introduction to Mathematical Logic, Part I.Princeton University Press, Princeton 1956. MR 1435972 |
| Reference:
|
[3] Gentzen Gerhardt: Untersuchungen über das Logische Schliessen.Mathem. Zeitschrift 39 (1934-5), 176-210, 405-431. |
| Reference:
|
[4] Kramosil Ivan: Statistical Estimation of Deducibility in Polyadic Algebras.Kybernetika 7 (1971), 3, 181-200. MR 0300881 |
| . |
