Efficient Deduction in Many-Valued Logics

Contents

This paper tries to identify the basic problems encountered in automated theorem proving in many-valued logics and demonstrates to which extent they call be currently solved. To this end a .umber of recently developed techniques are reviewed. We list. tile avenues of research in many valued theorem proving that are in our eyes the most promising.