Title :
Efficient deduction in many-valued logics
Author_Institution :
Inst. for Logic, Complexity & Deduction Syst., Karlsruhe Univ., Germany
Abstract :
This paper tries to identify the basic problems encountered in automated theorem proving in many-valued logics and demonstrates to which extent they can be currently solved. To this end a number of recently developed techniques are reviewed. We list the avenues of research in many-valued theorem proving that are in our eyes the most promising
Keywords :
many-valued logics; theorem proving; automated theorem proving; many-valued logics deduction; Cost accounting; Eyes; Multivalued logic;
Conference_Titel :
Multiple-Valued Logic, 1994. Proceedings., Twenty-Fourth International Symposium on
Conference_Location :
Boston, MA
Print_ISBN :
0-8186-5650-6
DOI :
10.1109/ISMVL.1994.302195
