Abstract
An alternative Skolemization method, which removes strong quantifiers from formulas, is presented that is sound and complete with respect to intermediate predicate logics of finite width. For logics without constant domains the method makes use of an existence predicate, while for logics with constant domains no additional predicate is necessary.
... read more