Efficient Deduction in Many-Valued Logics

Reiner Hahnle

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.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.