Kybernetika 7 no. 6, 421-435, 1971

The GUHA method and the three-valued logic

Petr Hájek, Kamila Bendová and Zdeněk Renc

Classification:

68A05, 68T15