Springer
A Resolution Principle for a Logic with Restricted Quantifiers
Product Code:
9783540550341
ISBN13:
9783540550341
Condition:
New
$61.47
A Resolution Principle for a Logic with Restricted Quantifiers
$61.47
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.
| Author: Hans-J?rgen B?rckert |
| Publisher: Springer |
| Publication Date: Dec 11, 1991 |
| Number of Pages: 120 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3540550348 |
| ISBN-13: 9783540550341 |
Related Products
