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.
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.
| Original language | English |
|---|---|
| Pages (from-to) | 1075-1085 |
| Journal | IfCoLog Journal of Logics and their Applications |
| Volume | 4 |
| Issue number | 4 |
| Publication status | Published - 2017 |
Keywords
- Skolemization
- Herbrand’s Theorem
- Intermediate Logics
- Kripke Models
- MSC: 03B10
- 03B55
- 03F03