Resolution principle for a logic with restricted quantifiers, a
Auteur :
Burckert, Hans-Jurgen
Éditeur :
Burckert, Hans-Jurgen
ISBN :
9783540550341
Date de publication :
11 déc. 1991
Dimensions :
23,4 x 15,6 x 0,7 cm
Poids :
196 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
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.