The GUHA method and the three-valued logic
Petr Hájek; Kamila Bendová; Zdeněk Renc
Kybernetika (1971)
- Volume: 07, Issue: 6, page (421)-435
- ISSN: 0023-5954
Access Full Article
top
How to cite
topHájek, Petr, Bendová, Kamila, and Renc, Zdeněk. "The GUHA method and the three-valued logic." Kybernetika 07.6 (1971): (421)-435. <http://eudml.org/doc/28839>.
@article{Hájek1971,
author = {Hájek, Petr, Bendová, Kamila, Renc, Zdeněk},
journal = {Kybernetika},
language = {eng},
number = {6},
pages = {(421)-435},
publisher = {Institute of Information Theory and Automation AS CR},
title = {The GUHA method and the three-valued logic},
url = {http://eudml.org/doc/28839},
volume = {07},
year = {1971},
}
TY - JOUR
AU - Hájek, Petr
AU - Bendová, Kamila
AU - Renc, Zdeněk
TI - The GUHA method and the three-valued logic
JO - Kybernetika
PY - 1971
PB - Institute of Information Theory and Automation AS CR
VL - 07
IS - 6
SP - (421)
EP - 435
LA - eng
UR - http://eudml.org/doc/28839
ER -
References
top- P. Hájek I. Havel M. Chytil, GUHA - metoda automatického vyhledávání hypotéz, Kybernetika 2 (1966), 2, 31-47. (1966) MR0202606
- P. Hájek I. Havel M. Chytil, GUHA - metoda automatického vyhledávání hypotéz II, Kybernetika 3 (1967), 2, 430-437. (1967)
- P. Hájek, Pгoblém obecného pojetí metody GUHA, Kybernetika 4 (1968), 6, 505-515. (1968)
- P. Hájek I. Havel M. Chytil, The GUHA method of automatic hypotheses determination, Computing 1 (1966), 4, 293-308. (1966)
- S. C. Kleene, Introduction to metamathematics, Amsterdam 1952. (1952) Zbl0047.00703MR0051790
Citations in EuDML Documents
top- Virgilio Muškardin, Representation theorem for finite quasi-boolean algebras
- Kamila Bendová, On the relation of three-valued logic to modal logic
- Tomáš Havránek, An alternative approach to missing information in the GUHA method
- Petr Hájek, Automatic listing of important observational statements. III
- Petr Hájek, Automatic listing of important observational statements. II
- Jan Rauch, Ein Beitrag zu der GUHA Methode in der dreiwertigen Logik
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.