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 条

[1] AUTOMATED DESIGN OF MULTIPLE-VALUED LOGIC-CIRCUITS BY AUTOMATIC THEOREM-PROVING TECHNIQUES
WOJCIECHOWSKI, WS
WOJCIK, AS
IEEE TRANSACTIONS ON COMPUTERS, 1983, 32 (09) : 785 - 798
[2] RESOLUTION-BASED THEOREM-PROVING FOR MANY-VALUED LOGICS
BAAZ, M
FERMULLER, CG
JOURNAL OF SYMBOLIC COMPUTATION, 1995, 19 (04) : 353 - 391
[3] THEOREM-PROVING FOR INTENSIONAL LOGIC
RAMSAY, A
JOURNAL OF AUTOMATED REASONING, 1995, 14 (02) : 237 - 255
[4] THEOREM-PROVING IN INTERMEDIATE AND MODAL-LOGICS
ZAKHARYASHCHEV, MV
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 278 : 492 - 496
[5] Interpretations of the sampling theorem in multiple-valued logic
Stankovic, Radomir S.
Astola, Jaakko T.
JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2007, 13 (4-6) : 467 - 486
[6] (DT)over-cap - An automated theorem prover for multiple-valued first-order predicate logics
Gerberding, S
1996 26TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 1996, : 284 - 289
[7] THEOREM-PROVING WITH ORDERING AND EQUALITY CONSTRAINED CLAUSES
NIEUWENHUIS, R
RUBIO, A
JOURNAL OF SYMBOLIC COMPUTATION, 1995, 19 (04) : 321 - 351
[8] Optical vector logic theorem-proving
Westphal, J
Caulfield, J
Hardy, J
Qian, L
Proceedings of the 8th Joint Conference on Information Sciences, Vols 1-3, 2005, : 1323 - 1326
[9] EQUALITY CONTROL METHODS IN MACHINE THEOREM-PROVING
DEGTYAREV, AI
VORONKOV, AA
CYBERNETICS, 1986, 22 (03): : 298 - 307
[10] THEOREM-PROVING IN NONSTANDARD LOGICS BASED ON THE INVERSE METHOD
VORONKOV, A
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 : 648 - 662

← 1 2 3 4 5 →