| Title:
|
Automatic listing of important observational statements. II (English) |
| Author:
|
Hájek, Petr |
| Language:
|
English |
| Journal:
|
Kybernetika |
| ISSN:
|
0023-5954 |
| Volume:
|
9 |
| Issue:
|
4 |
| Year:
|
1973 |
| Pages:
|
(251)-271 |
| . |
| Category:
|
math |
| . |
| MSC:
|
02G10 |
| MSC:
|
03D55 |
| MSC:
|
68T15 |
| idZBL:
|
Zbl 0289.68046 |
| idMR:
|
MR0401461 |
| . |
| Date available:
|
2009-09-24T16:33:39Z |
| Last updated:
|
2012-06-04 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/125389 |
| . |
| Related article:
|
http://dml.cz/handle/10338.dmlcz/125203 |
| Related article:
|
http://dml.cz/handle/10338.dmlcz/124863 |
| . |
| Reference:
|
[1] R. Carnap: The methodological character of theoretica concepts.In: Minnesota Studies in the Philosophy of Science, vol. I, pp. 38-76 (1956). |
| Reference:
|
[2] A. Church: Introduction to mathematical logic. I.Princeton University Press 1956. Zbl 0073.24301, MR 0010511 |
| Reference:
|
[3] M. Davis: Computability and unsolvability.McGraw-Hill Comp. 1958. Zbl 0080.00902, MR 0124208 |
| Reference:
|
[4] Ю. В. Матиясевич: Диофантность перечислимых множеств.Доклады AH CCCP 191 (1970), 279-282. MR 0258744 |
| Reference:
|
[5] K. Popper: Epistemology without a knowing subject.In: Logic, Methodology and Philosophy of Science III (eds. B. van Rootselaar, J. F. Staal). North-Holland 1968. MR 0246743 |
| Reference:
|
[6] P. Hájek I. Havel M. Chytil: GUHA - metoda automatického vyhledávání hypotéz I.Kybernetika 2 (1966) 1, 31-47. II - ibidem 3 (1967), 5, 430-437. MR 0202606 |
| Reference:
|
[7] P. Hájek I. Havel M. Chytil: The GUHA method of automatic hypotheses determination.Computing 1 (1966), 293-308. |
| Reference:
|
[8] P. Hájek: Problém obecného pojetí metody GUHA.Kybernetika 4 (1968), 6, 505-515. |
| Reference:
|
[9] P. Hájek K. Bendová Z. Renc: The GUHA method and the three-valued logic.Kybernetika 7 (1971), 6, 421-435. MR 0324940 |
| Reference:
|
[10] T. Havránek: The statistical modification and interpretation of the GUHA method.Kybernetika 7 (1971), 1, 13-21. MR 0287746 |
| Reference:
|
[11] P. Hájek: General semantic systems and automatic listing interesting observational statements.(10 pages; distributed at the IV. Congress for Logic, Methodology and Philosophy of Science, Bucarest 1971.) |
| Reference:
|
[12] P. Hájek: The GUHA method and nominal quantities.(in preparation). |
| . |
