×

zbMATH — the first resource for mathematics

Automatic listing of important observational statements. I, II. (English) Zbl 0289.68046
Kybernetika, Praha 9, 187-205, 251-271 (1973).

MSC:
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
03D55 Hierarchies of computability and definability
Full Text: EuDML
References:
[1] R. Carnap: The methodological character of theoretica concepts. 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. · Zbl 0073.24301
[3] M. Davis: Computability and unsolvability. McGraw-Hill Comp. 1958. · Zbl 0080.00902
[4] Ю. В. Матиясевич: Диофантность перечислимых множеств. Доклады АН СССР 191 (1970), 279-282.
[5] K. Popper: Epistemology without a knowing subject. Logic, Methodology and Philosophy of Science III (eds. B. van Rootselaar, J. F. Staal). North-Holland 1968.
[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.
[7] P. Hájek I. Havel M. Chytil: The GUHA method of automatic hypotheses determination. Computing 1 (1966), 293-308. · Zbl 0168.26105 · doi:10.1007/BF02345483
[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. · Zbl 0232.68034
[10] T. Havránek: The statistical modification and interpretation of the GUHA method. Kybernetika 7 (1971), 1, 13-21. · Zbl 0216.24103
[11] P. Hájek: General semantic systems and automatic listing interesting observational statements. (10 pages; distributed at the IV. Congress for Logic)
[12] P. Hájek: The GUHA method and nominal quantities.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.