• DocumentCode
    1938155
  • Title

    Efficient deduction in many-valued logics

  • Author

    Hähnle, Reiner

  • Author_Institution
    Inst. for Logic, Complexity & Deduction Syst., Karlsruhe Univ., Germany
  • fYear
    1994
  • fDate
    25-27 May 1994
  • Firstpage
    240
  • Lastpage
    249
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Multiple-Valued Logic, 1994. Proceedings., Twenty-Fourth International Symposium on
  • Conference_Location
    Boston, MA
  • Print_ISBN
    0-8186-5650-6
  • Type

    conf

  • DOI
    10.1109/ISMVL.1994.302195
  • Filename
    302195
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1938155