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

被引：0
|
作者：
Bignall, RJ [1 ]
Spinks, M [1 ]
机构：
[1] Monash Univ, Gippsland Sch Comp & Informat Technol, Churchill, Vic 3842, Australia
来源：
1998 28TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC - PROCEEDINGS | 1998年
关键词：
D O I：
10.1109/ISMVL.1998.679313
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：102 / 107
页数：6
相关论文
共 50 条
12345