A Resolution Principle for a Logic with Restricted Quantifiers

By H.-J. Bürckert

This monograph provides the formal basics of a scheme for predicate logic with restricted quantifiers taken as constraints. It gives the model theory and proof theory for this logic together with a sound and complete refutation calculus for constrained clauses.

• Format: Paperback
• Language: English
• ISBN: 3540550348
• ISBN13: 9783540550341
• Release Date: December 1991
• Publisher: Springer
• Length: 120 Pages
• Weight: 0.43 lbs.
• Dimensions: 0.3" x 6.1" x 9.2"