RESOLUTION IN FIRST ORDER THEORIES.
Abstract
The basic principles that are involved in resolution theory for first order theories are examined. Resolution theory is developed from an axiomatic point of view, which provides a general foundation for specific proof finding strategies in first order theories. Most of the specific strategies that have been formulated for the predicate calculus are presented as natural applications of this theory. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jul 01, 1970
- Accession Number
- AD0710209
Entities
People
- Alfred H. Morris Jr.
- Hartmut G. M. Huber
Organizations
- Naval Surface Warfare Center Dahlgren Division