DSpace/Manakin Repository

In this paper an alternative Skolemization method is introduced that for a large class of formulas is sound and complete with respect to intuitionistic logic. This class extends the class of formulas for which standard Skolemization is sound and complete and includes all formulas in which all strong quantifiers are ... read more existential. The method makes use of an existence predicate first introduced by Dana Scott. show less