Well-Behaved Inference Rules for First-Order Theorem Proving

Wu, Jinzhao; Liu, Zhuojun

Local TagsRelease HistoryDetailsSummary

Well-Behaved Inference Rules for First-Order Theorem Proving

Wu, J., & Liu, Z. (1998). Well-Behaved Inference Rules for First-Order Theorem Proving. Journal of Automated Reasoning, 21(3), 381-400.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-38AA-B Version Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-38AB-9

Genre: Journal Article

Files

show Files

Locators

show

Creators

show

hide

Creators:
Wu, Jinzhao¹, Author
Liu, Zhuojun, Author

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

Content

show

hide

Free keywords: -

Abstract: The concept of well-behaved inference rules is developed in first-order polynomial based theorem proving. It is shown that well-behaved inference rules are complete for both the set-of-support strategy and the linear strategy. Two concrete such inference rules are presented, and other two strategies for them are proposed.

Details

show

hide

Language(s): eng - English

Dates: Modified: 2010-03-12Date issued: 1998

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: Peer

Identifiers: eDoc: 519667
Other: Local-ID: C1256104005ECAFC-A0B3E0166BBAC415412566F7003A5369-Wuliu1998

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Journal of Automated Reasoning

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: 21 (3) Sequence Number: - Start / End Page: 381 - 400 Identifier: ISSN: 0168-7433