Format:
Online-Ressource (X, 116 S.)
Edition:
Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9783540466703
Series Statement:
Lecture notes in computer science 568
Content:
Preliminaries -- Unification -- A logic with restricted quantifiers -- Equational constraint theories -- Conclusion.
Content:
This monograph presents foundations for a constrained logic scheme treating constraints as a very general form of restricted quantifiers. The constraints - or quantifier restrictions - are taken from a general constraint system consisting of constraint theory and a set of distinguished constraints. The book provides a calculus for this constrained logic based on a generalization of Robinson's resolution principle. Technically, the unification procedure of the resolution rule is replaced by suitable constraint-solving methods. The calculus is proven sound and complete for the refutation of sets of constrained clauses. Using a new and elegant generalization of the notion ofa ground instance, the proof technique is a straightforward adaptation of the classical proof technique. The author demonstrates that the constrained logic scheme can be instantiated by well-known sorted logics or equational theories and also by extensions of predicate logics with general equational constraints or concept description languages.
Note:
Literaturverz. S. [101] - 109
Additional Edition:
ISBN 3540550348
Additional Edition:
ISBN 9783540550341
Additional Edition:
Erscheint auch als Druck-Ausgabe Bürckert, Hans-Jürgen A resolution principle for a logic with restricted quantifiers Berlin : Springer, 1991 ISBN 3540550348
Additional Edition:
ISBN 0387550348
Language:
English
Subjects:
Computer Science
Keywords:
Prädikatenlogik
;
Eingeschränkter Quantor
DOI:
10.1007/3-540-55034-8
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
Bookmarklink