Geodesic
Automatic listing of important observational statements. II
Kybernetika, Tome 9 (1973) no. 4, pp. 251-271 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 02G10, 03D55, 68T15 
@article{KYB_1973_9_4_a3,
     author = {H\'ajek, Petr},
     title = {Automatic listing of important observational statements. {II}},
     journal = {Kybernetika},
     pages = {251--271},
     year = {1973},
     volume = {9},
     number = {4},
     mrnumber = {0401461},
     zbl = {0289.68046},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1973_9_4_a3/}
}
TY  - JOUR
AU  - Hájek, Petr
TI  - Automatic listing of important observational statements. II
JO  - Kybernetika
PY  - 1973
SP  - 251
EP  - 271
VL  - 9
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/KYB_1973_9_4_a3/
LA  - en
ID  - KYB_1973_9_4_a3
ER  - 
%0 Journal Article
%A Hájek, Petr
%T Automatic listing of important observational statements. II
%J Kybernetika
%D 1973
%P 251-271
%V 9
%N 4
%U http://geodesic.mathdoc.fr/item/KYB_1973_9_4_a3/
%G en
%F KYB_1973_9_4_a3
Hájek, Petr. Automatic listing of important observational statements. II. Kybernetika, Tome 9 (1973) no. 4, pp. 251-271. http://geodesic.mathdoc.fr/item/KYB_1973_9_4_a3/

[1] R. Carnap: The methodological character of theoretica concepts. In: Minnesota Studies in the Philosophy of Science, vol. I, pp. 38-76 (1956).

[2] A. Church: Introduction to mathematical logic. I. Princeton University Press 1956. | MR | Zbl

[3] M. Davis: Computability and unsolvability. McGraw-Hill Comp. 1958. | MR | Zbl

[4] Ю. В. Матиясевич: Диофантность перечислимых множеств. Доклады AH CCCP 191 (1970), 279-282. | MR

[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

[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

[7] P. Hájek I. Havel M. Chytil: The GUHA method of automatic hypotheses determination. Computing 1 (1966), 293-308.

[8] P. Hájek: Problém obecného pojetí metody GUHA. Kybernetika 4 (1968), 6, 505-515.

[9] P. Hájek K. Bendová Z. Renc: The GUHA method and the three-valued logic. Kybernetika 7 (1971), 6, 421-435. | MR

[10] T. Havránek: The statistical modification and interpretation of the GUHA method. Kybernetika 7 (1971), 1, 13-21. | MR

[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.)

[12] P. Hájek: The GUHA method and nominal quantities. (in preparation).