• DocumentCode
    1849231
  • Title

    Multiple-valued logics for theorem-proving in first order logic with equality

  • Author

    Bignall, R.J. ; Spinks, M.

  • Author_Institution
    Gippsland Sch. of Comput. & Inf. Technol., Monash Univ., Clayton, Vic., Australia
  • fYear
    1998
  • fDate
    27-29 May 1998
  • Firstpage
    102
  • Lastpage
    107
  • Abstract
    We outline a method for proving theorems in first-order logic with equality using some equational logics and their associated multiple-valued propositional logics, and describe an application of the method that makes use of the automated theorem-prover Otter to prove a range of theorems from the TPTP library of problems in first-order logic with equality
  • Keywords
    formal logic; theorem proving; Otter; TPTP library; automated theorem-prover; equality; equational logics; first order logic; multiple-valued logics; multiple-valued propositional logics; theorem-proving; Algebra; Australia; Calculus; Equations; Identity-based encryption; Information technology; Logic functions; Mathematics; Read only memory; Set theory;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Multiple-Valued Logic, 1998. Proceedings. 1998 28th IEEE International Symposium on
  • Conference_Location
    Fukuoka
  • ISSN
    0195-623X
  • Print_ISBN
    0-8186-8371-6
  • Type

    conf

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