The GUHA method and the three-valued logic

Previous | Up | Next

Article

The GUHA method and the three-valued logic. (English). Kybernetika, vol. 7 (1971), issue 6, pp. (421)-435

MSC: 68A05, 68T15 | MR 0324940 | Zbl 0232.68034

References:

[1] P. Hájek I. Havel M. Chytil: GUHA - metoda automatického vyhledávání hypotéz. Kybernetika 2 (1966), 2, 31-47. MR 0202606

[2] P. Hájek I. Havel M. Chytil: GUHA - metoda automatického vyhledávání hypotéz II. Kybernetika 3 (1967), 2, 430-437.

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

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

[5] S. C. Kleene: Introduction to metamathematics. Amsterdam 1952. MR 0051790 | Zbl 0047.00703

Partner of