A Resolution Principle for a Logic with Restricted Quantifiers
Buch in deiner Nähe kaufen
Beschreibung
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.
Autor*in
Hans-Jürgen Bürckert
Themen in »A Resolution Principle for a Logic with Restricted Quantifiers«
Beschränkte Quantoren Deduction and Theorem Proving Deduktion und Beweisen Extension Knowledge Representation Logic Programming Logisches Programmieren Mathematical Logic Mathematische Logik Resolution Restricted Quantifiers Wissens-Darstellung calculus logic sets