On the Existence of Alternative Skolemization Methods (original) (raw)

FLAP, 2017

Abstract

It is shown that no intermediate predicate logic that is sound and complete with respect to a class of frames, admits a strict alternative Skolemization method. In particular, this holds for intuitionistic predicate logic and several other well– known intermediate predicate logics. The result is proved by showing that the class of formulas without strong quantifiers as well as the class of formulas without weak quantifiers is sound and complete with respect to the class of constant domain Kripke models

Rosalie Iemhoff hasn't uploaded this paper.

Let Rosalie know you want this paper to be uploaded.

Ask for this paper to be uploaded.