A resolution principle for a logic with restricted quantifiers /

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....

Full description

Bibliographic Details

Main Author:	Bürckert, H.-J. (Hans-Jürgen)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1991]
Series:	Lecture notes in computer science ; 568. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Automatic theorem proving. Logic, Symbolic and mathematical. théorie restriction. théorie résolution. contrainte. quantificateur. Programmation logique. Prédicat (Logique) Logique symbolique et mathématique. Kunstmatige intelligentie. Logica. Deductie. Logique symbolique et mathémathique. Intelligence artificielle. Electronic books.
Online Access:	Connect to the full text of this electronic book