The Skolemization of Prenex Formulas in Intermediate Logics

Research output: Contribution to journalArticleAcademicpeer-review


The skolem class of a logic consists of the formulas for which the derivability of the formula is equivalent to the derivability of its Skolemization. In contrast to classical logic, the skolem classes of many intermediate logics do not contain all formulas. In this paper it is proven for certain classes of propositional formulas that any instance of them by (independent) predicate sentences in prenex normal form belongs to the skolem class of any intermediate logic complete with respect to a class of well-founded trees. In particular, all prenex sentences belong to the skolem class of these logics, and this result extends to the constant domain versions of these logics.
Original languageEnglish
Pages (from-to)470-491
JournalIndagationes Mathematicae
Issue number3
Publication statusPublished - 2019


Dive into the research topics of 'The Skolemization of Prenex Formulas in Intermediate Logics'. Together they form a unique fingerprint.

Cite this