zbMATH — the first resource for mathematics

New connectives for (full) fuzzy resolution. (English) Zbl 0986.03021
Sinčák, Peter (ed.) et al., The state of the art in computational intelligence. Proceedings of the European symposium on computational intelligence, Košice, Slovak Republic, August 30-September 1, 2000. With Forewords by Lotfi A. Zadeh, David E. Goldberg and Kunihiko Fukushima. Heidelberg: Physica-Verlag. Advances in Soft Computing. 146-151 (2000).
Summary: We study resolution truth functions for sound and complete evaluation of many-valued resolution. For modus ponens we give a formula for generating such a truth function using the additive generator of the underlying conjunctor. In the case of full resolution we give a construction of a resolution truth function and study its properties.
For the entire collection see [Zbl 0978.00038].

03B52 Fuzzy logic; logic of vagueness
03B50 Many-valued logic