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
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;
Conference_Titel :
Multiple-Valued Logic, 1998. Proceedings. 1998 28th IEEE International Symposium on
Conference_Location :
Fukuoka
Print_ISBN :
0-8186-8371-6
DOI :
10.1109/ISMVL.1998.679313
