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 条

[41] SPECIAL ISSUE ON HIGHER-ORDER LOGIC THEOREM-PROVING AND ITS APPLICATIONS .1.
CLAESEN, L
GORDON, M
FORMAL METHODS IN SYSTEM DESIGN, 1993, 3 (1-2) : 5 - 5
[42] THEOREM-PROVING TECHNIQUES AND P-FUNCTIONS FOR LOGIC DESIGN AND LOGIC PROGRAMMING
SNYERS, D
THAYSE, A
PHILIPS JOURNAL OF RESEARCH, 1986, 41 (05) : 460 - 505
[43] A Convolution Theorem for Multiple-Valued Logic Polynomials of a Semigroup Type and Their Fast Multiplication
Matsui, Hajime
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2016, E99A (06): : 1025 - 1033
[44] Computational Neuroscience and Multiple-Valued Logic
Kawato, Mitsuo
ISMVL: 2009 39TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, 2009, : 157 - 160
[45] AN ALGEBRA FOR MULTIPLE-VALUED LOGIC SYSTEMS
DEVGAN, A
JOURNAL OF THE INSTITUTION OF ELECTRONICS AND TELECOMMUNICATION ENGINEERS, 1994, 40 (2-3): : 85 - 91
[46] PLI logic for multiple-valued functions
Falkowski, BJ
Rahardja, S
IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 2001, 148 (01): : 7 - 14
[47] OPTOELECTRONIC MULTIPLE-VALUED LOGIC IMPLEMENTATION
LIU, ST
LI, CF
WU, J
LIU, YD
OPTICS LETTERS, 1989, 14 (14) : 713 - 715
[48] Implicit Expressibility in Multiple-Valued Logic
S. S. Marchenkov
Moscow University Computational Mathematics and Cybernetics, 2022, 46 (3) : 149 - 155
[49] Representation of multiple-valued logic functions
Stankovíc, R.S., 1600, Morgan and Claypool Publishers (37):
[50] Multiple-valued logic as a new computing paradigm - A brief survey of Higuchi's research on multiple-valued logic
Kameyama, M
Hanyu, T
Aoki, T
JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2005, 11 (5-6) : 407 - 436

← 1 2 3 4 5 →